var image="";
var banners=0;
function cycle() {
  if (++banners > 3) banners=1;
    loadbanners();
    document.banner1.src = image;
    window.setTimeout('cycle();',7000);
  }
function loadbanners() {
   if (banners==1)
      {
      image="/MH/MHrotate1.jpg";
      }
   if (banners==2)
      {
      image="/MH/MHrotate2.jpg";
      }
   if (banners==3)
      {
      image="/MH/MHrotate3.jpg";
      }
}