// JavaScript Document
<script language="JavaScript">

button1.a= new Image();
button1.a.src = "elements/buttons/1hotel.jpg"
button1.b= new Image();
button1.b.src = "elements/buttons/1hotel_mouseover.gif"

button2.a= new Image();
button2.a.src = "elements/buttons/2rest.jpg"
button2.b= new Image();
button2.b.src = "elements/buttons/2rest_mouseover.jpg"

button3.a= new Image();
button3.a.src = "elements/buttons/3eis.jpg"
button3.b= new Image();
button3.b.src = "elements/buttons/3eis_mouseover.jpg"

button4.a= new Image();
button4.a.src = "elements/buttons/4zimmer.jpg"
button4.b= new Image();
button4.b.src = "elements/buttons/4zimmer_mouseover.jpg"

button5.a= new Image();
button5.a.src = "elements/buttons/5ferien.jpg"
button5.b= new Image();
button5.b.src = "elements/buttons/5ferien_mouseover.jpg"

button6.a= new Image();
button6.a.src = "elements/buttons/6rheintal.jpg"
button6.b= new Image();
button6.b.src = "elements/buttons/6rheintal_mouseover.jpg"

button7.a= new Image();
button7.a.src = "elements/buttons/7anfahrt.jpg"
button7.b= new Image();
button7.b.src = "elements/buttons/7anfahrt_mouseover.jpg"

button8.a= new Image();
button8.a.src = "elements/buttons/8fragen.jpg"
button8.b= new Image();
button8.b.src = "elements/buttons/8fragen_mouseover.jpg"

</script>