if (document.images)
{
    // Preload the ../images in order
    background_top = new Image(791,35);
    background_top.src = "../images/top.jpg";
    
    background_middle = new Image(791,40);
    background_middle.src = "../images/gradient3.gif";
    
    header_image = new Image(440,150);
    header_image.src = "../images/header.jpg";
}