function getinfo(){hoehe = screen.availHeight;breite = screen.availWidth;if(breite<= 800){ document.location.href= "indexl.htm"}else{ document.location.href = "indexh.htm"} }function statustext(stext){if(stext != "Mallorca"){ window.status = "Urlaubsziel: "+stext;}else{ window.status = "Mallorca-Info";}}function wechsel(name){ window.document.Menu.src = name.src;}function goback(){history.back()}var Text = 'Jetzt neu im Netz: Mallorca-Info! Ihr kompetenter Reisepartner in Sachen "Mallorca"!'; var Geschwindigkeit = 70; /*** Nach Bedarf erhoehen oder erniedrigen ***/ var Breite = 100; /*** Nach Bedarf erhoehen oder erniedrigen ***/ var TextLaenge = Text.length; /*** Bitte nicht aendern ***/ var Position = 1 - Breite; /*** Bitte nicht aendern ***/ function StatusLauftext(abc) /*** ab hier bitte nichts aendern ***/ { if(abc != "") { Position++; var Textzustand=""; if (Position == TextLaenge) { Position = 1 - Breite; } if (Position < 0) { for (var Zaehler=1; Zaehler <= Math.abs(Position); Zaehler++) { Textzustand = Textzustand + " "; }; Textzustand = Textzustand + Text.substring(0, Breite - Zaehler + 1); } else { Textzustand = Textzustand + Text.substring(Position, Breite + Position); } window.status = Textzustand; setTimeout("StatusLauftext()",Geschwindigkeit); } }function textlist(a,b,c,d,e){ this[0] = a; this[1] = b; this[2] = c; this[3] = d;}tl=new textlist( " 12.09 Mallorca-Info neu im Netz! ", " Die neuesten Infos rund um Mallorca! ", " Die besten Insider-Tips ab sofort bei uns! ", " Überzeugen Sie sich selbst! " );var pos=1;var x=0;var max=4;var l=tl[x].length;function textticker() { document.form1.textfeld.value=tl[x].substring(0,pos)+" "; if(pos++==l) { pos=0; setTimeout("textticker()",2000); x++; if(x==max) x=0; l=tl[x].length; } else setTimeout("textticker()",50);}function is_msie() {return (navigator.appName == "Microsoft Internet Explorer");}function Framing(){ if (this.document == top.document || top.location.host != this.location.host) {var pathprefix = location.protocol + '//' + location.host+ location.pathname.substring(0, location.pathname.lastIndexOf('/')+1);var doctitle = document.title;document.clear();document.open("text/html");document.writeln('\n' +doctitle+ '');breite = screen.availWidth;if(breite<= 800){document.writeln('');}else{document.writeln('