function randomImg()
	{
		/*
		var randomNumber = Math.floor(Math.random()*5+1)
		document.getElementById('mainGFX').src = 'fileadmin/template/_GFX/' + randomNumber + '_top.jpg';
		*/
		document.getElementById('mainGFX').src = 'fileadmin/template/_GFX/sgv_top.jpg';	  
	}