function aprifinestra(str) {

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

//        searchWin.refer = self;

}
function aprifinestra2(str) {

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

//        searchWin.refer = self;

}
function aprifinestra3(str) {

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

//        searchWin.refer = self;

}
function aprifinestra3(str) {

        searchWin = window.open(str,'aprifinestra','scrollbars=yes,resizable=no,width=1100,height=650,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(112,45);
p1b.src = "/2010/images/b1.gif";
p1c = new Image(112,45);
p1c.src = "/2010/images/b1_on.gif";

p2b = new Image(112,45);
p2b.src = "/2010/images/b2.gif";
p2c = new Image(112,45);
p2c.src = "/2010/images/b2_on.gif";

p3b = new Image(112,45);
p3b.src = "/2010/images/b3.gif";
p3c = new Image(112,45);
p3c.src = "/2010/images/b3_on.gif";

p4b = new Image(112,45);
p4b.src = "/2010/images/b4.gif";
p4c = new Image(112,45);
p4c.src = "/2010/images/b4_on.gif";

p5b = new Image(112,45);
p5b.src = "/2010/images/b5.gif";
p5c = new Image(112,45);
p5c.src = "/2010/images/b5_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")
	}
}