<!--
function doImages(image1name,image1src) {
eval("document['"+image1name+"'].src='"+image1src+"'");
}
// -->