function RandomHeader()
{
	/*var rand = Math.round(11*Math.random())+1;
	alert("/images/"+rand+".jpg");
	document["header"].src = "/images/6.jpg";*/
	var rand = Math.round(17*Math.random())+1;
	//document.write('<img src="images/'+rand+'.jpg" />');
	document.getElementById("header").style.background = "url(images/"+rand+".jpg)";
}