function startBannerRotation()
  {
    if (!bannersFound) {return;}
    if (bannerCount == 1)
    { // Only 1 banner, so ensure it is displayed and exit
      var d = getElement("div0");
      if (d) {d.className = "showDiv";}
      return;
    }
    window.setInterval(rotateBanners, 10000);
  }

  function rotateBanners()
  {
    var divID = "div" + bannerShowing;
    var d = getElement(divID);
    if (d) {d.className = "hideDiv";}

    bannerShowing = generateRandomNo(1, bannerCount) - 1;

    /*
    // Sequential display
    bannerShowing = bannerShowing + 1;
    if (bannerShowing >= bannerCount) {bannerShowing = 0;}
    */
    divID = "div" + bannerShowing;
    d = getElement(divID);
    if (d) {d.className = "showDiv";}
  }