function OpenWin(str,w,h) {
				searchWin = window.open(str,'finestra','scrollbars=nos,resizable=no,width='+w+',height='+h+',status=no,location=no,menubar=no,screenX=70,screenY=70');
				searchWin.focus();
} 


function aprifinestra(str) {

        searchWin = window.open(str,'aprifinestra','scrollbars=no,resizable=no,width=260,height=200,status=no,location=no,menubar=no,screenX=70,screenY=70');

//        searchWin.refer = self;

}


// check if the browser is Navigator 3 or higher:
agent = navigator.userAgent;
browserVer = 2;
if (agent.substring(0,7) == "Mozilla")
{
    if (parseInt(agent.substring(8,9)) >= 3) {browserVer = 1;}
}
// preload universal images:
if (browserVer == 1) {

p1b = new Image(138,27);
p1b.src = "/images/menu1.gif";
p1c = new Image(138,27);
p1c.src = "/images/menu1_on.gif";

p2b = new Image(112,27);
p2b.src = "/images/menu2.gif";
p2c = new Image(112,27);
p2c.src = "/images/menu2_on.gif";

p3b = new Image(80,27);
p3b.src = "/images/menu3.gif";
p3c = new Image(80,27);
p3c.src = "/images/menu3_on.gif";

p4b = new Image(147,27);
p4b.src = "/images/menu4.gif";
p4c = new Image(147,27);
p4c.src = "/images/menu4_on.gif";

p5b = new Image(113,27);
p5b.src = "/images/menu5.gif";
p5c = new Image(113,27);
p5c.src = "/images/menu5_on.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")
	}
}