function randombanner(id,filen,timeout)
{
 eval("ban"+id+".src='get.php?filen="+filen+"&id="+id+"'");
 if (timeout!=0)
 { window.setTimeout("randombanner("+id+",'"+filen+"',"+timeout+");",timeout); }
}