function headerImg(edition) {
		//alert("edition:" + edition); 
    document.getElementById("edition").src = "img/edition/" + edition + ".gif";
}