var scrollCounter = 0; var scrollText = "» Gartenstadt-Hotel, your hotel in Ludwigshafen «"; var scrollDelay = 70; var i = 0; while (i ++ < 140) scrollText = " " + scrollText; function Scroller() { window.status = scrollText.substring(scrollCounter++, scrollText.length); if (scrollCounter == scrollText.length) scrollCounter = 0; setTimeout("Scroller()", scrollDelay); } Scroller(); function Bildwechsel (Bildnr, Bildobjekt) { document.images[Bildnr].src = Bildobjekt; } function email(name, domain, suffix, text) { var address = name + "\u0040" + domain + "." + suffix; var url = "mailto:" + address; if( ! text ) { text = address; } document.write("" + text + ""); }