// JavaScript Document


if (document.images)
{
  pic1= new Image(); 
  pic1.src="images/menu_home_over.gif";
  
  pic2= new Image(); 
  pic2.src="images/menu_about_over.gif";
  
  pic3= new Image(); 
  pic3.src="images/menu_ticket_over.gif"; 
  
  pic4= new Image(); 
  pic4.src="images/menu_event_over.gif"; 

  pic5= new Image(); 
  pic5.src="images/menu_map_over.gif"; 

  pic6= new Image(); 
  pic6.src="images/menu_contact_over.gif"; 


}