//IMAGE MOUSEOVER SCRIPT
        //only have to change the range in the for loop and array definitions to add menu items
        images_array = new Array(9);
        images_array_r = new Array(9);
        for (i=1; i<10; i++)
        {
           images_array[i]=new Image();
           images_array[i].src="/images/mainpage/global_mp_link_" + i + "a.gif";
           
           images_array_r[i]=new Image();
           images_array_r[i].src="/images/mainpage/global_mp_link_" + i + "b.gif";
        }
        
        function swap(num)
        {
            image_name = "image" + num;
            if(document.getElementById) document.getElementById(image_name).src = images_array_r[num].src;
            else if(document.images) document.images[image_name].src = images_array_r[num].src;
        }
        
        function swapOut(num)
        {
            image_name = "image" + num;
            if(document.getElementById) document.getElementById(image_name).src = images_array[num].src;
            else if(document.images) document.images[image_name].src = images_array[num].src;
        }
        
        //pre-load the images that will be rotated out
        rotate1b = new Image();
        rotate1b.src = "/images/mainpage/global_mp_qt_80.jpg";
            
        rotate2b = new Image();
        rotate2b.src = "/images/mainpage/global_mp_gcd_gcl.jpg";
            
        rotate3b = new Image();
        rotate3b.src = "/images/mainpage/global_mp_vme3000.jpg";
            
        function rotateImages(image_name)
        {
            if (image_name=="rotate1") {
            if(document.getElementById) { document.getElementById("rotate1").src = rotate1b.src; }
            else if(document.images)  { document.images["rotate1"].src = rotate1b.src; }
            }
            
            if (image_name=="rotate2") {
            if(document.getElementById) { document.getElementById("rotate2").src = rotate2b.src; }
            else if(document.images) { document.images["rotate2"].src = rotate2b.src; }
            }
            
            if (image_name=="rotate3") {
            if(document.getElementById) { document.getElementById("rotate3").src = rotate3b.src; }
            else if(document.images) { document.images["rotate3"].src = rotate3b.src; }
            }
        }
        
        function startRotate()
        {
            setTimeout("rotateImages('rotate1')", 3000);
            setTimeout("rotateImages('rotate2')", 6000);
            setTimeout("rotateImages('rotate3')", 9000);
        }