/* THIS SCRIPT PRINTS OUT A RANDOM IMAGE IN THE HEADER */
var url_before = "img/headerpics/pic";
var url_after = ".jpg";
var min = 1;
var max = 1;	//CHANGE NUMBER TO HOW MANY IMAGES TO CHOOSE FROM

function printRndImg() {
	document.write('<img src="' + url_before +  ( min + Math.round(Math.random()*(max-min)) ) + url_after + '" width="560" height="130" alt="">')
}