function changeHeaderImage(imageName){

	document.getElementById('changeHeader').src="images/benchmark/"+imageName+".jpg";

}



function reSet()

{

	document.getElementById('changeHeader').src="images/benchmark/headerDocument.jpg";

}