// preload images:
if (document.images) {
   // images that change in the center
   //  (width, height)

   prod_w = new Image(87,33); prod_w.src = "../../images/menu/prod_w.gif";
   prod_y = new Image(87,33); prod_y.src = "../../images/menu/prod_y.gif";
   press_w = new Image(58,33); press_w.src = "../../images/menu/news_w.gif";
   press_y = new Image(58,33); press_y.src = "../../images/menu/news_y.gif";
   support_w = new Image(85,33); support_w.src = "../../images/menu/support_w.gif";
   support_y = new Image(85,33); support_y.src = "../../images/menu/support_y.gif";
   corp_w = new Image(186,33); corp_w.src = "../../images/menu/corp_w.gif";
   corp_y = new Image(186,33); corp_y.src = "../../images/menu/corp_y.gif";
   cont_w = new Image(105,33); cont_w.src = "../../images/menu/cont_w.gif";
   cont_y = new Image(105,33); cont_y.src = "../../images/menu/cont_y.gif";

}

function hiLite(imgName,imgObjName) {
   if (document.images) {
      document.images[imgName].src = eval(imgObjName + ".src");
   }
}

function nada() {
// empty function
}