function randRange(minNum, maxNum) {
	return (Math.floor(Math.random()*(maxNum-minNum+1))+minNum);
}

function randImage()
{
	var num = randRange(1,8);
	document.getElementById("rotationImg").src = "../rot"+num+".gif";
	setTimeout("randImage()",20000);
}