browser = (((navigator.appName == "Netscape") &&
(parseInt(navigator.appVersion) >= 3 )) || ((navigator.appName ==
"Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4 )))



        
        if (browser) {
        toc1on = new Image(80, 16);
        toc1on.src = "/images/menu/login_ON.gif";
        toc12on = new Image(80, 16);
        toc12on.src = "/images/menu/logout_ON.gif";
        toc2on = new Image(96, 16);
        toc2on.src = "/images/menu/areaprivati_ON.gif";
        toc3on = new Image(96, 16);
        toc3on.src = "/images/menu/areaagenzie_ON.gif";
		toc4on = new Image(96, 16);
        toc4on.src = "/images/menu/home_ON.gif";
		toc5on = new Image(130, 16);
        toc5on.src = "/images/menu/ricerca_ON.gif";
		toc6on = new Image(130, 16);
        toc6on.src = "/images/menu/agenzie_ON.gif";
		toc7on = new Image(130, 16);
        toc7on.src = "/images/menu/domande_ON.gif";
		
		
        toc1off = new Image(80, 16);
        toc1off.src = "/images/menu/login_OFF.gif";
        toc12off = new Image(80, 16);
        toc12off.src = "/images/menu/logout_OFF.gif";
        toc2off = new Image(96, 16);
        toc2off.src = "/images/menu/areaprivati_OFF.gif";
        toc3off = new Image(96, 16);
        toc3off.src = "/images/menu/areaagenzie_OFF.gif";
		toc4off = new Image(96, 16);
        toc4off.src = "/images/menu/home_OFF.gif";
		toc5off = new Image(130, 16);
        toc5off.src = "/images/menu/ricerca_OFF.gif";
		toc6off = new Image(130, 16);
        toc6off.src = "/images/menu/agenzie_OFF.gif";
		toc7off = new Image(130, 16);
        toc7off.src = "/images/menu/domande_OFF.gif";
				
        }

function img_act(imgName) {
        if (browser) {
	name=document[imgName].src;
	i=name.lastIndexOf('_');
	prefix=name.slice(0,i);
	name2=prefix+'_ON.gif';
        document[imgName].src=name2;
        }
}

function img_inact(imgName) {
        if (browser) {
	name=document[imgName].src;
	i=name.lastIndexOf('_');
	prefix=name.slice(0,i);
	name2=prefix+'_OFF.gif';
        document[imgName].src=name2;
        }
}
