if (!window.addLoadEvent)
{
    function addLoadEvent(func) {
      var oldonload = window.onload;
      if (typeof window.onload != 'function') {
        window.onload = func;
      } else {
        window.onload = function() {
          if (oldonload) {
            oldonload();
          }
          func();
        }
      }
    }
}

function mouseOver(id,pic)
    {
        
         element = document.getElementById(id);     
         element.src=pic;
    }
function doubleMouseOver(id1,pic1, id2,pic2)
{
    
     element1 = document.getElementById(id1);     
     element1.src=pic1;
     element2 = document.getElementById(id2);     
     element2.src=pic2;
}