// JavaScript Document
// Preload images
menu01Image = new Image(); 
menu01Image.src = "button_home_ovr.png";
menu02Image = new Image(); 
menu02Image.src = "button_serv_ovr.png";
menu03Image = new Image(); 
menu03Image.src = "button_port_ovr.png";
menu04Image = new Image(); 
menu04Image.src = "button_cont_ovr.png";