function menu1()
{
document.write('Zimmer |\n');
document.write('Ferienwohnung |\n');
document.write('Betrieben |\n');
document.write('Extra |\n');
document.write('Preis |\n');
document.write('Geschenk |\n');
document.write('Geschichte |\n');
document.write('Atelier |\n');
document.write('Aktivitäten |\n');
document.write('Garten |\n');
document.write('Touristik |\n');
document.write('Fahrplan\n');
}