function ChangeTopPicture() {
	if((document.getElementById)&& (document.getElementById('top')!=null)) {
		var element = document.getElementById('top');
		var newUrl = 'url("images/start/' + (Math.floor(Math.random()*9)+1) + '.jpg")';
		element.style.backgroundImage=newUrl;
	}
}