<!-- Hide from old browsers
     boardNum = 0;
     boardSpeed = 3000;

    // create an array to hold the images
    Banner = new Array();

    // assign values for first set of banners
    Banner[0] = new Image();
    Banner[0].src = "images/programs_1.jpg";

    Banner[1] = new Image();
    Banner[1].src = "images/programs_2.jpg";

    Banner[2] = new Image();
    Banner[2].src = "images/programs_3.jpg";

    function rotateBanner() {
        if (boardNum < Banner.length-1) boardNum++;
        else boardNum = 0;

        document.Banner.src = Banner[boardNum].src;

        setTimeout('rotateBanner()',boardSpeed);
    }

// Stop hiding from old browsers -->