// JavaScript for rotating header

var headers = ['images/dogpeopleheader1.jpg','images/dogpeopleheader2.jpg', 'images/dogpeopleheader3.jpg'];
		  



function randomIntegerBetween(low, high)
	{
		return Math.round(low + Math.random()*(high-low));
	}
		


function createHeaderInSlot(path, headerNumber /* one-based */)
	{
		var header = headers[headerNumber - 1];

		document.getElementById("headerdiv").innerHTML = '<img id="peopledogheader" src="' + path + header + '" alt="people dog header" width="541" height="141">';
	}
	
function createHeader(path)
	{
		if (path == undefined) {
			path = "";
		}
		
		var numHeaderPerSlot = headers.length;
		createHeaderInSlot(path, randomIntegerBetween(1, numHeaderPerSlot));
	}