// use this instead of in the body tag of the document
      window.onload=banner_init;

      var banner_interval=false;
      var banner_pos=0;
      var banner_max=2;

      // setup/init the banner..
      function banner_init()
      {
           // dont cause browser errors
           if(!document.getElementById("rotate-ad")) return;
           banner_interval=setInterval("banner_loop()",10000);
      }

      // setup/init the banner..
      function banner_loop()
      {
           var banner_location = document.getElementById("rotate-ad");

           // Banner #1
           if(banner_pos==0)
           {
                banner_location.innerHTML='<a href="http://catalogue.mup.com.au/978-0-522-85782-5.html" style="border: 0;" title="Forthcoming Book"><img src="http://www.mup.com.au/uploads/images/banner/banner2.gif" alt="Forthcoming Book" border="0" /></a>';
           }

           // Banner #2
           if(banner_pos==1)
           {
                banner_location.innerHTML='<a href="http://catalogue.mup.com.au/978-0-522-85767-2.html" style="border: 0;" title="Forthcoming Book"><img src="http://www.mup.com.au/uploads/images/banner/banner.gif" alt="Forthcoming Book" border="0"/></a>';
           }

           // reset banner loop
           if(banner_pos>banner_max) banner_pos=0;
           else banner_pos++;

           // debug... show which banner is running..
           document.title=banner_pos;
      }