function getObj(name){
if (document.getElementById)
return document.getElementById(name);
else if (document.all)
return document.all[name];
else if (document.layers)
return document.layers[name];
return false;
}
var banner_pool = new Array(
'
',
'
',
'',
'',
''
);
function initBanner(){
getObj("banner_top").innerHTML = banner_pool[Math.round(Math.random() * (banner_pool.length - 1))];
setTimeout("initBanner()",30000);
}