<!-- Dummy comment to hide code from non-JavaScript browsers.

     if (document.images) {
     home_off = new Image(); home_off.src = "theme/standard/gfx/menu/home.jpg"
     home_over = new Image(); home_over.src = "theme/standard/gfx/menu/home_over.jpg"
     galeria_off = new Image(); galeria_off.src = "theme/standard/gfx/menu/galeria.jpg"
     galeria_over = new Image(); galeria_over.src = "theme/standard/gfx/menu/galeria_over.jpg"
     onas_off = new Image(); onas_off.src = "theme/standard/gfx/menu/onas.jpg"
     onas_over = new Image(); onas_over.src = "theme/standard/gfx/menu/onas_over.jpg"
     kontakt_off = new Image(); kontakt_off.src = "theme/standard/gfx/menu/kontakt.jpg"
     kontakt_over = new Image(); kontakt_over.src = "theme/standard/gfx/menu/kontakt_over.jpg"
     }

     function turn_off(ImageName) {
     if (document.images != null) {
     document[ImageName].src = eval(ImageName + "_off.src");
     }
     }

     function turn_over(ImageName) {
     if (document.images != null) {
     document[ImageName].src = eval(ImageName + "_over.src");
     }
     }

     // End of dummy comment -->