// Banner_urls should be in the format: fullsize image

var banner_urls = [
  "../photos/banner/banner_0.jpg",
  "../photos/banner/banner_1.jpg",
  "../photos/banner/banner_2.jpg",
  "../photos/banner/banner_3.jpg",
  "../photos/banner/banner_4.jpg"];
  
function update_banner () {

var d = new Date();

  banner_group = d.getMilliseconds();

  document.getElementById ("random_banner_photos").innerHTML = 
    "<img border='0' src='" + banner_urls [banner_group % banner_urls.length] + "' width='380' height='79'>";
}

//onload=update_banner;