// JavaScript Document
function new_rand()
{
	// loads new rand image
	if(document.getElementById)
	{
		// extract image name from image source (i.e. cut off ?randomness)
		thesrc = document.getElementById("rand").src;
		thesrc = thesrc.substring(0,thesrc.lastIndexOf(".")+4);
		// add ?(random) to prevent browser/isp caching
		document.getElementById("rand").src = thesrc+"?change=1&"+Math.round(Math.random()*100000);
		//alert(document.getElementById("rand").src);
	} else {
		alert("Sorry, cannot autoreload rand image\nSubmit the form and a new Rand image will be loaded");
	}
}