header='<br><b>Herzlich willkommen auf der Webseite des Hotel Bären</b><br><br>';
document.write(header);