function imageGenerator()
{
	
	NumberOfImagesToRotate = 5;
	var r = Math.ceil(Math.random() * NumberOfImagesToRotate);
	img = document.getElementById('header');
	source = img.src.substring(0, img.src.indexOf('header'));
	document.getElementById('header').src = source + 'header' + r + '.jpg';
	
}

function refreshimage()
{ 
	try 
	{
	imageGenerator();
	}
	catch(err)
	{
	}
	setTimeout('refreshimage()',10000);
}

function loadheader()
{
	refreshimage();
}