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="Images/main_banner.gif";
      }
   if (banners==2)
      {
      image="Images/main_banner.gif";
      }
   if (banners==3)
      {
      image="Images/main_banner.gif";
      }
}