var numImages = 11;

function rotateHeader() {
	
	imgNo = Math.round(Math.random()*(numImages));
	
	document.getElementById('rotHeader').src = 'siteimages/headers/'+imgNo+'.jpg';
	
	
	
}