document.write('<div align="center" id="bannerman_id" >XXX</div>');
function myrandom(maxval)
{
 var val= Math.floor(Math.random() * (maxval+1));
 if(val>=maxval) val=maxval;
 return val;
}


var banner_time=9000;
var banner_data=["<div align=\"center\"><a href=\"http:\/\/www.databaseapplications.org\/banner_manager\/click_banner.php?wmid=1001&clid=1001&prod=2\" target=\"_blank\"><img height=\"60\" width=\"468\" border=\"0\" alt=\"\" src=\"http:\/\/www.databaseapplications.org\/banner_manager\/banners\/wmid_1001\/cl1001_2.gif\"><\/a> <\/div>"];
var banner_nr = Math.floor(Math.random() * (banner_data.length)); 

function bannerman_change()
{ 
 if (banner_nr>banner_data.length-1) banner_nr=0; 
 document.getElementById("bannerman_id").innerHTML=banner_data[banner_nr]; 
 banner_nr++;
 setTimeout("bannerman_change()",banner_time); 
} 
bannerman_change();