navbar1on = new Image();
navbar1on.src = "/images/fav_on.gif";
navbar1off = new Image();
navbar1off.src = "/images/fav_off.gif";
navbar2on = new Image();
navbar2on.src = "/images/default_on.gif";
navbar2off = new Image();
navbar2off.src = "/images/default_off.gif";
navbar3on = new Image();
navbar3on.src = "/images/contact_on.gif";
navbar3off = new Image();
navbar3off.src = "/images/contact_off.gif";
button1on = new Image();
button1on.src = "/images/button1.gif";
button1off = new Image();
button1off.src = "/images/button1_off.gif";
button2on = new Image();
button2on.src = "/images/button2.gif";
button2off = new Image();
button2off.src = "/images/button2_off.gif";
button3on = new Image();
button3on.src = "/images/button3.gif";
button3off = new Image();
button3off.src = "/images/button3_off.gif";
button4on = new Image();
button4on.src = "/images/button4.gif";
button4off = new Image();
button4off.src = "/images/button4_off.gif";
button5on = new Image();
button5on.src = "/images/button5.gif";
button5off = new Image();
button5off.src = "/images/button5_off.gif";
button6on = new Image();
button6on.src = "/images/button6.gif";
button6off = new Image();
button6off.src = "/images/button6_off.gif";
button7on = new Image();
button7on.src = "/images/button7.gif";
button7off = new Image();
button7off.src = "/images/button7_off.gif";
button8on = new Image();
button8on.src = "/images/button8.gif";
button8off = new Image();
button8off.src = "/images/button8_off.gif";
button9on = new Image();
button9on.src = "/images/button9.gif";
button9off = new Image();
button9off.src = "/images/button9_off.gif";

function img_act(imgName)  {
   imgOn = eval(imgName + "on.src");
   document [imgName].src = imgOn;
}
function img_inact(imgName)   {
   imgOff = eval(imgName + "off.src");
   document [imgName].src = imgOff;
}

function changeto(highlightcolor){
source=event.srcElement
if (source.tagName=="TR"||source.tagName=="TABLE")
return
while(source.tagName!="TD")
source=source.parentElement
if (source.style.backgroundColor!=highlightcolor&&source.id!="ignore")
source.style.backgroundColor=highlightcolor
}

function changeback(originalcolor){
if (event.fromElement.contains(event.toElement)||source.contains(event.toElement)||source.id=="ignore")
return
if (event.toElement!=source)
source.style.backgroundColor=originalcolor
}