<!--
if (document.images) {
  cache_it01 = new Image();   cache_it01.src = "img/green-bkgd.gif";
}

function doImages(image1name,image1src) {
eval("document['"+image1name+"'].src='"+image1src+"'");
}
// -->