function randomimage(){
	imglist = new Array("h_employment.jpg","h_news.jpg","h_gaming.jpg","h_tribe.jpg","h_contact.jpg","h_horses.jpg","h_council.jpg","h_links.jpg")
	document.getElementById("himg").src = "imgs/header/"+ imglist[ Math.round((imglist.length-1)*Math.random()) ] ;
}