function aprifinestra(str) {

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

//        searchWin.refer = self;

  }
function aprifinestra1(str) {

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

//        searchWin.refer = self;

  }


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();
	}


// 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(48,19);
p1b.src = "/images/1off.gif";
p1c = new Image(48,19);
p1c.src = "/images/1on.gif";

p2b = new Image(79,19);
p2b.src = "/images/2off.gif";
p2c = new Image(79,19);
p2c.src = "/images/2on.gif";

p3b = new Image(134,19);
p3b.src = "/images/3off.gif";
p3c = new Image(134,19);
p3c.src = "/images/3on.gif";

p4b = new Image(52,19);
p4b.src = "/images/4off.gif";
p4c = new Image(52,19);
p4c.src = "/images/4on.gif";

p5b = new Image(55,19);
p5b.src = "/images/5off.gif";
p5c = new Image(55,19);
p5c.src = "/images/5on.gif";

p6b = new Image(107,19);
p6b.src = "/images/6off.gif";
p6c = new Image(107,19);
p6c.src = "/images/6on.gif";

p7b = new Image(107,19);
p7b.src = "/images/7off.gif";
p7c = new Image(107,19);
p7c.src = "/images/7on.gif";

p8b = new Image(80,19);
p8b.src = "/images/8off.gif";
p8c = new Image(80,19);
p8c.src = "/images/8on.gif";

p9b = new Image(102,19);
p9b.src = "/images/9off.gif";
p9c = new Image(102,19);
p9c.src = "/images/9on.gif";

p10b = new Image(37,19);
p10b.src = "/images/10off.gif";
p10c = new Image(37,19);
p10c.src = "/images/10on.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")
	}
}