// JavaScript Document
var rand1 = 0;
var useRand = 0;
var domain = "http://www.coloradosports.org/";

function swapPic() {
	var exists = eval(document.getElementById("header_img"));
	if(exists){
		var imgnum = images.length - 1;
		do {
			var randnum = Math.random();
			rand1 = Math.round((imgnum - 1) * randnum) + 1;
		} while (rand1 == useRand);
		useRand = rand1;
		document.getElementById("header_img").src = images[useRand].src;
	}
}