<!--

// Code Section...
var isNS = navigator.appName.indexOf("Netscape")  != -1;

function showMenu (name) {
 elm = document.getElementById(name);
 elm.style.visibility = "visible";
}

function hideMenu (name) {
 elm = document.getElementById(name);
 elm.style.visibility = "hidden";
}

function winopen (inf1, inf2, inf3) {
 window.open (inf1, inf2, inf3);
}


home1 = new Image ();
home1.src = "images/home_off.gif";
home2 = new Image ();
home2.src = "images/home_on.gif";

prod1 = new Image ();
prod1.src = "images/prod_off.gif";
prod2 = new Image ();
prod2.src = "images/prod_on.gif";

serv1 = new Image ();
serv1.src = "images/serv_off.gif";
serv2 = new Image ();
serv2.src = "images/serv_on.gif";

cont1 = new Image ();
cont1.src = "images/cont_off.gif";
cont2 = new Image ();
cont2.src = "images/cont_on.gif";

fom1 = new Image ();
fom1.src = "images/fom_off.gif";
fom2 = new Image ();
fom2.src = "images/fom_on.gif";

fom_sm1 = new Image ();
fom_sm1.src = "images/fom_sm_off.gif";
fom_sm2 = new Image ();
fom_sm2.src = "images/fom_sm_on.gif";

vws1 = new Image ();
vws1.src = "images/vws_sm_off.gif";
vws2 = new Image ();
vws2.src = "images/vws_sm_on.gif";

function swap (inf1,inf2) {
 inf1.src = inf2.src;
}


//-->