if(document.getElementById('laufschrift').innerHTML!='<big><font color="FFFF53"></font></big>')
{
document.getElementById('laufschrift').innerHTML='<big><font color="FFFF53"></font></big>';
}

a = Math.random();
b=window.setTimeout('include("http://radio-alpha.de/laufschrift/show.php?rnd=' + a + '");', '10000');