/***********************************************
* Script to randomly display different banners for homepage
***********************************************/
function random_banner(){
  var i=0;
  banners = new Array();
  banners[0] = '<IMG SRC="images/banner1.jpg">';
  banners[1] = '<IMG SRC="images/banner2.jpg">';
  banners[2] = '<IMG SRC="images/banner3.jpg">';
  today = new Date();
  i=today.getSeconds();
  n=banners.length;
  return banners[i-Math.round((i-1)/n)*n];
}