// JavaScript Document// ==============================================
// Copyright 2003 by jsCode.com
// Source: jsCode.com
// Author: etLux
// Free for all; but please leave in the header.
// ==============================================

function showImageHeader(){
	// Set up the image files to be used.
	var theImages = new Array() // do not change this
	// To add more image files, continue with the
	// pattern below, adding to the array. Rememeber
	// to increment the theImages[x] index!
	
	theImages[0] = 'images/header_pic_8571.jpg'
	theImages[1] = 'images/header_pic_8592.jpg'
	theImages[2] = 'images/header_pic_8684.jpg'
	theImages[3] = 'images/header_pic_8692.jpg'
	theImages[4] = 'images/header_pic_8705.jpg'
	theImages[5] = 'images/header_pic_8725.jpg'
	theImages[6] = 'images/header_pic_8743.jpg'
	theImages[7] = 'images/header_pic_8756.jpg'
	theImages[8] = 'images/header_pic_8762.jpg'
	theImages[9] = 'images/header_pic_8812.jpg'
	theImages[10] = 'images/header_pic_8815.jpg'
	theImages[11] = 'images/header_pic_8835.jpg'
	theImages[12] = 'images/header_pic_8846.jpg'
	theImages[13] = 'images/header_pic_8856.jpg'
	theImages[14] = 'images/header_pic_dining.jpg'
	
	// ======================================
	// do not change anything below this line
	// ======================================
	
	var j = 0
	var p = theImages.length;
	
	var preBuffer = new Array()
	for (i = 0; i < p; i++){
	   preBuffer[i] = new Image()
	   preBuffer[i].src = theImages[i]
	}
	
	var whichImage = Math.round(Math.random()*(p-1));	
	document.write('<img src="'+theImages[whichImage]+'">');
}