var theImages = new Array()

	theImages[0] = "header_hs1.gif"
	theImages[1] = "header_hs2.gif"

	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));

	function showImage()
	{
		document.writeln("<img src=\"images/" + theImages[whichImage] + "\" width=\"750\" align=\"absbottom\" border=\"0\" />");
	}