function addLoadEvent(func)
{
    var oldOnLoad = window.onload;
    if(typeof window.onload != 'function')
    {
        window.onload = func;
    }
    else
    {
        window.onload= function()
        {
            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;
}