/* HELLO! */
logo_images = new Array("https://www.info-link.net:443/content/hosted/images/logos/aerealty.net.gif"
, "https://www.info-link.net:443/content/hosted/images/logos/brownandbaker.com.gif"
, "https://www.info-link.net:443/content/hosted/images/logos/independentlyspeaking.com.gif"
, "https://www.info-link.net:443/content/hosted/images/logos/morris.k12.mn.us.gif"
, "https://www.info-link.net:443/content/hosted/images/logos/morristheatre.net.jpg"
, "https://www.info-link.net:443/content/hosted/images/logos/pioneer.org.gif"
, "https://www.info-link.net:443/content/hosted/images/logos/sfhs.org.gif"
, "https://www.info-link.net:443/content/hosted/images/logos/sceic.org.gif"
, "https://www.info-link.net:443/content/hosted/images/logos/wcec.com.gif"
);


function set_logo_image() {
  var next_image;

  if (typeof current_logo_image != "number")
    current_logo_image = 0;
  else
    ++current_logo_image;

  if (current_logo_image >= logo_images.length)
    current_logo_image = 0;

  next_image = logo_images[current_logo_image];

  if (document.images) {
    // This should work for IE & newer browsers
    document.images.hosted_logo.src = next_image;
  } else {


  }
} // set_logo_image()


// Change the logo once in a while 
window.setInterval(set_logo_image, 1500);