function menu() { document.write("
Bildergalerie
"); document.write("
Einreisebestimmungen
"); document.write("
Feiertage
"); document.write("
Flug
"); document.write("
Hotel buchen
"); document.write("
Ferienhaus suchen
"); document.write("
Hotelbewertungen
"); document.write("
Reisetipps
"); document.write("
Video
"); document.write("
Übersetzer
"); document.write("
Wetter
"); document.write("
Währungsumrechnung
"); document.write("
Impressum
"); }