// Javascript Document

var divnum = 13;

function switch_banner()
{
   var whichdiv=Math.floor(Math.random()*divnum);
   whichdiv = whichdiv+1;
   var divname="rotatingbanner"+whichdiv;
   document.getElementById(divname).style.display = 'inline';
}