// JavaScript Document
<!--
button1= new Image();
button1.src = "./images/header/header_logo_hell.PNG"
/* usw. für alle Grafiken,
die am Mouse-Over-Effekt beteiligt sind */
//-->