<!--
// The number of random images available
numImages = 39;

var rand1 = 0;
var useRand = 0;

function randPic() {
	var imgnum = numImages - 1;
	do {
		var randnum = Math.random();
		rand1 = Math.round((imgnum - 1) * randnum) + 1;
	} while (rand1 == useRand);
	useRand = rand1;
	randSrc = "../shared/main/main-" + useRand + ".png";
	var arVersion = navigator.appVersion.split("MSIE")
	var version = parseFloat(arVersion[1])
	document.getElementById('randomImage').innerHTML = "<img onLoad=\"correctPNGs();\" id=\"randImg\" src=\"" + randSrc + "\"/>";
}
//-->

