// browser test:
agent = navigator.userAgent
browserVer = 1
var iVer = parseInt(navigator.appVersion); 
var sName = navigator.appName; 
if (navigator.appName.indexOf ("Microsoft") != -1  && navigator.appVersion.indexOf ("3") != -1 )
	{browserVer = 2 }
if (navigator.appName.indexOf ("Netscape") != -1)
	{browserVer = 1 }
if (iVer == 4)
        {browserVer = 1 }
if (browserVer == 1) {

doc_a = new Image;
doc_a.src = "./images/doc_senza_scritte.gif";
doc_b = new Image;
doc_b.src = "./images/doc_con_scritte.gif";
vuoto = new Image;
vuoto.src = "./images/spazio_vuoto_tools.gif";
cerca_scr = new Image;
cerca_scr.src = "./images/cerca_scr.gif";
italiano_scr = new Image;
italiano_scr.src = "./images/italiano_scr.gif";
english_scr = new Image;
english_scr.src = "./images/english_scr.gif";
posta_scr = new Image;
posta_scr.src = "./images/posta_scr.gif";
posta_en_scr = new Image;
posta_en_scr.src = "./images/posta_en_scr.gif";
mappa_scr = new Image;
mappa_scr.src = "./images/mappa_scr.gif";
faq_scr = new Image;
faq_scr.src = "./images/faq_scr.gif";
help_scr = new Image;
help_scr.src = "./images/help_scr.gif";
}
function hiLite(imgDocID,imgObjName) {
// manages mouseOver animations
//   imgDocID - the name or number of the document image to be replaced
//   imgObjName - the name of the image object to be swapped in
if (browserVer == 1) {
document.images[imgDocID].src = eval(imgObjName + ".src")

}}