if (document.images) {
    img1 = new Image();
    img1.src = "/images/banner1_hover.png";
    img2 = new Image();
    img2.src = "/images/banner2_hover.png";
    img3 = new Image();
    img3.src = "/images/banner3_hover.png";
}