// JavaScript Document
(new Image(58,23)).src = "images/tab_home-ovr.gif";
(new Image(145,23)).src = "images/tab_rooms-ovr.gif";
(new Image(145,23)).src = "images/tab_meetings-ovr.gif";
(new Image(58,23)).src = "images/tab_rates-ovr.gif";

function btn_over(btn_name) {
  document.images[btn_name].src = "images/" + btn_name + "-ovr" + ".gif"
}
function btn_out(btn_name) {
  document.images[btn_name].src = "images/" + btn_name + ".gif"
}