// handle ommouseover, onmouseout events for imgs with an id
  
  function OnImgOver(id){  
   var imgel = document.getElementById(id);
   var imgsrc = imgel.src;
   if(imgsrc.indexOf("selected") >= 0 || imgsrc.indexOf("pushed") >= 0 || imgsrc.indexOf("current") >= 0)
    return;
   var IE6ind = imgsrc.indexOf("_IE6.png");
   if(IE6ind >= 0)
    imgel.src = imgsrc.substring(0,IE6ind) + "hilite_IE6.png"; 
   else {
    var ind = imgsrc.indexOf(".png");
    imgel.src = imgsrc.substring(0,ind) + "hilite.png";  
   }
  }
 
 
  function OnImgLeave(id){
   var imgel = document.getElementById(id);
   var imgsrc = imgel.src;
   if(imgsrc.indexOf("selected") >= 0 || imgsrc.indexOf("pushed") >= 0 || imgsrc.indexOf("current") >= 0)
    return;
   var IE6ind = imgsrc.indexOf("hilite_IE6.png");
   if(IE6ind >= 0)
    imgel.src = imgsrc.substring(0,IE6ind) + "_IE6.png"; 
   else {
    var ind = imgsrc.indexOf("hilite");
    while(ind > 0){
	  imgsrc = imgsrc.substring(0,ind);
	  ind = imgsrc.indexOf("hilite");
    }
    imgel.src = imgsrc + ".png";
   }
  }