// JavaScript Document

<!--
home1= new Image();
home1.src = "../images/menue/home2.png"
home2= new Image();
home2.src = "../images/menue/home.png"

appartement1= new Image();
appartement1.src = "../images/menue/appartement2.png"
appartement2= new Image();
appartement2.src = "../images/menue/appartement.png"

ferienwohnung1= new Image();
ferienwohnung1.src = "../images/menue/ferienwohnung2.png"
ferienwohnung2= new Image();
ferienwohnung2.src = "../images/menue/ferienwohnung.png"

info1= new Image();
info1.src = "../images/menue/info2.png"
info2= new Image();
info2.src = "../images/menue/info.png"

service1= new Image();
service1.src = "../images/menue/service2.png"
service2= new Image();
service2.src = "../images/menue/service.png"

besichtigung1= new Image();
besichtigung1.src = "../images/menue/besichtigung2.png"
besichtigung2= new Image();
besichtigung2.src = "../images/menue/besichtigung.png"

/* usw. für alle Grafiken,
die am Mouse-Over-Effekt beteiligt sind */
//-->