var img=new Array(4);
img[0]="media/index/header_1.jpg";
img[1]="media/index/header_2.jpg";
img[2]="media/index/header_3.jpg";
img[3]="media/index/header_4.jpg";



whichImg = get_random();
whichImg2 = 0;
do {
  whichImg2 = get_random();
} while (whichImg == whichImg2);

function get_random() {
  // Make sure that random()*X) has the correct
  // number. The number of images defined below.
  var ranNum= Math.floor(Math.random() * 4);
  return ranNum;
}

function show_image() {
  // Image disply
  document.write("<img src='");
  document.write(img[whichImg]);
  document.write("' border='0' width='1000' height='142' alt='Gourmet au Bay' title='Gourmet au Bay' />");
}

function show_image2() {
  // Image disply
  document.write("<img src='");
  document.write(img[whichImg2]);
  document.write("' border='0' width='1000' height='142' alt='' title='Gourmet au Bay' />");
}