function hide_all_then_show(layername){
	document.getElementById("story").style.visibility="hidden"
	document.getElementById("growth_chart").style.visibility="hidden"
	document.getElementById("famous_firsts").style.visibility="hidden"
	document.getElementById(layername).style.visibility="visible"
}