// Setup banner rotation
        index1 = 0;
        listofimages = new Array(4);
        listofimages[0] = new Image(640,90)
        listofimages[0].src = "/images/banners/function.png"
        listofimages[1] = new Image(640,90)
        listofimages[1].src = "/images/banners/time.png"
        listofimages[2] = new Image(640,90)
        listofimages[2].src = "/images/banners/XyratexQuoteBanner2.png"
        listofimages[3] = new Image(640,90)
        listofimages[3].src = "/images/banners/time.png"  
    
        thetimer = setTimeout("changeimage()", 5000);

    
    function changeimage(){
    
        index1 = index1 + 1
        if (index1 == "4") {
    
            index1 = 0 
        }    
        
        imagesource = listofimages[index1].src
        window.document.banner1.src = imagesource
        thetimer = setTimeout("changeimage()", 15000);
    }
    function changepage() {
        if (index1 == 0) {
            newlocation = "/torridon.html" 
        }
        else if (index1 == 1) {
            newlocation = "/benchtest.html" 
        }
        else if (index1 == 2) {  
            newlocation = "/torridon.html" 
        }
        else if (index1 == 3) {
                newlocation = "/benchtest.html" 
        }
        location = newlocation 
    }