window.addEvent('domready', function(){
	random = $random(0, 9);
	random_image_path = 'images/rotating-images/index_splash_'+random+'.jpg';
	$('mainContent').getElement('img.splash').set('src', random_image_path);
});