// initialize variables

d=document;

// image rollovers

if (d.images){
  menu_whoon = new Image();
  menu_whoon.src = "images/menu_who_on.gif";
  menu_whooff = new Image();
  menu_whooff.src = "images/menu_who.gif";
  menu_whaton = new Image();
  menu_whaton.src = "images/menu_what_on.gif";  
  menu_whatoff = new Image();
  menu_whatoff.src = "images/menu_what.gif";
  menu_facilityon = new Image();
  menu_facilityon.src = "images/menu_facility_on.gif";  
  menu_facilityoff = new Image();
  menu_facilityoff.src = "images/menu_facility.gif";
  menu_rateson = new Image();
  menu_rateson.src = "images/menu_rates_on.gif";  
  menu_ratesoff = new Image();
  menu_ratesoff.src = "images/menu_rates.gif";
  menu_contacton = new Image();
  menu_contacton.src = "images/menu_contact_on.gif";  
  menu_contactoff = new Image();
  menu_contactoff.src = "images/menu_contact.gif";
}

	function changeImages() {
 	 if (d.images) {
   	 for (var i=0; i<changeImages.arguments.length; i+=2) {
      document[changeImages.arguments[i]].src = eval(changeImages.arguments[i+1] + ".src");
    }
  }
}