// preload images:
if (document.images) {
banner_off = new Image(79,72); banner_off.src = "images/banner_off.gif";
banner_on = new Image(79,72); banner_on.src = "images/banner_on.gif";
schalter_off = new Image(26,55); schalter_off.src = "images/schalter_off.gif";
schalter_on = new Image(26,55); schalter_on.src = "images/schalter_on.gif";
}
function hiLiteBoth(imgName1,imgObjName1,imgName2,imgObjName2) {
if (document.images) {
  document.images[imgName1].src = eval(imgObjName1 + ".src");
  document.images[imgName2].src = eval(imgObjName2 + ".src");
  if(imgObjName2 == "banner_off"){
    document.images[imgName2].style.width = "0px";
  }
  else{
    document.images[imgName2].style.width = "255px";
  }
}}