// JavaScript Document

<!--
start1= new Image();
start1.src = "../images/nav/start_rot.gif"
start2= new Image();
start2.src = "../images/nav/start.gif"

preise1= new Image();
preise1.src = "../images/nav/preise_rot.gif"
preise2= new Image();
preise2.src = "../images/nav/preise.gif"

reserv1= new Image();
reserv1.src = "../images/nav/reserv_rot.gif"
reserv2= new Image();
reserv2.src = "../images/nav/reserv.gif"

open1= new Image();
open1.src = "../images/nav/open_rot.gif"
open2= new Image();
open2.src = "../images/nav/open.gif"

aktuell1= new Image();
aktuell1.src = "../images/nav/aktuell_rot.gif"
aktuell2= new Image();
aktuell2.src = "../images/nav/aktuell.gif"

downloads1= new Image();
downloads1.src = "../images/nav/downloads_rot.gif"
downloads2= new Image();
downloads2.src = "../images/nav/downloads.gif"

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