window.onload = function () {

	document.getElementById('imageRotator').src = "images/top-rotation"+Math.floor(( Math.random()*7))+".jpg";
}