button_home_on = new Image();
button_home_on.src = "images/button_home_on.gif";
button_services_on = new Image();
button_services_on.src = "images/button_services_on.gif";
button_rooms_on = new Image();
button_rooms_on.src = "images/button_rooms_on.gif";
button_event_services_on = new Image();
button_event_services_on.src = "images/button_event_services_on.gif";
button_contact_on = new Image();
button_contact_on.src = "images/button_contact_on.gif";
button_rates_on = new Image();
button_rates_on.src = "images/button_rates_on.gif";
button_promotions_on = new Image();
button_promotions_on.src = "images/button_promotions_on.gif";

button_home_off = new Image();
button_home_off.src = "images/button_home_off.gif";
button_services_off = new Image();
button_services_off.src = "images/button_services_off.gif";
button_rooms_off = new Image();
button_rooms_off.src = "images/button_rooms_off.gif";
button_event_services_off = new Image();
button_event_services_off.src = "images/button_event_services_off.gif";
button_contact_off = new Image();
button_contact_off.src = "images/button_contact_off.gif";
button_rates_off = new Image();
button_rates_off.src = "images/button_rates_off.gif";
button_promotions_off = new Image();
button_promotions_off.src = "images/button_promotions_off.gif";

function on(theButton){
  document.getElementById(theButton).src = eval(theButton + "_on.src");
}
function off(theButton){
  document.getElementById(theButton).src = eval(theButton + "_off.src");
}