// Javascript File
<!--  
  if (document.images){
    img1 = new Image();
    img2 = new Image();
    img3 = new Image();
    img1.src = "images/butlink.jpg";
    img2.src = "images/buthover.jpg"
    img3.src = "images/header.jpg"
    img3.src = "images/bar.jpg"
    img3.src = "images/barbutlink.jpg"
    img3.src = "images/barbuthover.jpg"
  }
-->