menu1_1="images/home.gif";
menu1_2="images/home2.gif";
menu2_1="images/services.gif";
menu2_2="images/services_a.gif";
menu3_1="images/rates.gif";
menu3_2="images/rates2.gif";
menu4_1="images/reservations.gif";
menu4_2="images/reservations2.gif";
menu5_1="images/news_events.gif";
menu5_2="images/news2.gif";
menu6_1="images/specials.gif";
menu6_2="images/specials2.gif";
menu7_1="images/about_us.gif";
menu7_2="images/about_us2.gif";
menu8_1="images/customer_care.gif";
menu8_2="images/customer_care2.gif";


function change_menu(nr,name)
{
this.document.images[nr].src=name
}