<!--
    var headimg = new Array;      
    headimg[0] = "images/banner-systems.png";
    headimg[1] = "images/banner-products.png";
    headimg[2] = "images/banner-repair.png";
    headimg[3] = "images/banner-resources.png";
    headimg[4] = "images/banner-about.png";
    headimg[5] = "images/banner-home.png";
    
    var p = headimg.length;
    var preLoad = new Array();
    var i = 0;
    for (i = 0; i < p; i++){
         preLoad[i] = new Image();
         preLoad[i].src = headimg[i];
    }
    
    function changepic(picnum)
    {
      //  if(document.images){
            document.bannerimg2.src=headimg[picnum];
        //    }
    }
    
    function homepic()
    {
        document.bannerimg2.src=headimg[5];
            }
-->