//wenn internet explorer oder netscape > version 4, dann marquee span auf size=13pt
if ((navigator.appName.indexOf("Microsoft")!=-1)||((navigator.userAgent.indexOf("Mozilla")!=-1)&&(navigator.appVersion.substr(0,1)>4)))marquee_ok="ja"; else marquee_ok="nein";
//opera macht auch kein marquee:
if(navigator.userAgent.indexOf("Opera")!=-1)marquee_ok="nein";