function change_img(){
	src = Math.round((Math.random() * 5)+1)
	document.write('<img src="images/header_' + src + '.jpg" alt="" width="740" height="145" border="0" usemap="#Map">')
}