
<!-- hide script from old browsers


var button0=new Image();
var button1=new Image();
var button2=new Image();
var button3=new Image();
var button4=new Image();
var button5=new Image();
var button6=new Image();
var button7=new Image();
var button8=new Image();
var button9=new Image();
var button10=new Image();
var button11=new Image();
var button12=new Image();
var button13=new Image();
var button14=new Image();
var button15=new Image();
var button16=new Image();
var button17=new Image();
var button18=new Image();
var button19=new Image();


button0.src="graphics/home1.gif";
button1.src="graphics/home2.gif";
button2.src="graphics/about1.gif";
button3.src="graphics/about2.gif";
button4.src="graphics/accom1.gif";
button5.src="graphics/accom2.gif";
button6.src="graphics/visitus1.gif";
button7.src="graphics/visitus2.gif";
button8.src="graphics/dollars.gif";
button9.src="graphics/dollars2.gif";
button10.src="graphics/preis.gif";
button11.src="graphics/preis2.gif";
button12.src="graphics/reservations1.gif";
button13.src="graphics/reservations2.gif";
button14.src="graphics/resdeutsch1.gif";
button15.src="graphics/resdeutsch2.gif";
button16.src="graphics/rates1.gif";
button17.src="graphics/rates2.gif";
button18.src="graphics/location1.gif";
button19.src="graphics/location2.gif";


function switchImg(num) {
if (num=="0") document.home.src=button0.src;
if (num=="1") document.home.src=button1.src;
if (num=="2") document.about.src=button2.src
if (num=="3") document.about.src=button3.src
if (num=="4") document.accom.src=button4.src
if (num=="5") document.accom.src=button5.src
if (num=="6") document.visit.src=button6.src
if (num=="7") document.visit.src=button7.src
if (num=="8") document.dollars.src=button8.src
if (num=="9") document.dollars.src=button9.src
if (num=="10") document.preis.src=button10.src
if (num=="11") document.preis.src=button11.src
if (num=="12") document.reservations.src=button12.src
if (num=="13") document.reservations.src=button13.src
if (num=="14") document.german.src=button14.src
if (num=="15") document.german.src=button15.src
if (num=="16") document.rates.src=button16.src
if (num=="17") document.rates.src=button17.src
if (num=="18") document.location.src=button18.src
if (num=="19") document.location.src=button19.src


}
//----------end hiding----------->