menu0_on = new Image();
    	menu0_on.src = "IMMAGINI/santommasored.gif";
    	menu0_off = new Image();
    	menu0_off.src = "IMMAGINI/santommaso.gif";
	
	function hiLite(LinkName,ObjName) {		
     	document.images[LinkName].src = eval(ObjName + ".src") }