');
document.write(' Startseite');
document.write(' 
');
document.write(' Kontakt');
document.write(' ');
document.write(' Buchen');
document.write(' ');
document.write(' Verlockende Angebote');
document.write(' ');
document.write(' Lageplan');
document.write(' ');
document.write(' Fotogalerie');
document.write('');
}
function pintaIdiomaPagina() {
document.write('');
document.write(' ESP');
document.write(' -');
document.write(' ENG');
document.write(' -');
document.write(' DE');
document.write(' -');
document.write(' FR');
document.write('');
}
function pintaIdiomaPaginaImg() {
document.write('');
document.write(' 
');
document.write(' 
');
document.write(' 
');
document.write(' 
');
document.write('');
}
function pintaPiePagina() {
document.write('');
document.write(' © Grand Hotel Central · ');
document.write(' Rechtliche Hinweise');
document.write('');
}
//-->