image1 = new Image();
image1.src = "/pics/logo_over.gif";

image2 = new Image();
image2.src = "/pics/menu/menu_01-over.gif";

image3 = new Image();
image3.src = "/pics/menu/menu_02-over.gif";

image4 = new Image();
image4.src = "/pics/menu/menu_03-over.gif";

image5 = new Image();
image5.src = "/pics/menu/menu_04-over.gif";

image6 = new Image();
image6.src = "/pics/menu/menu_05-over.gif";

window.onload = 
window.onresize = function(){
  o = document.getElementById("visual");

  if(o){
    if( (document.documentElement.offsetHeight-140) > 0)
     o.style.height = document.documentElement.offsetHeight-140  + "px";
  }
}