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;
}