<!--

but000 = new Image();
but000.src = "../images/but_menu.gif";
butp000 = new Image();
butp000.src = "../images/butp_menu.gif";

function hilite (imgDocID,imgObjName) 
{
document.images[imgDocID].src = eval (imgObjName + ".src")
}				
										
//-->