function change_img(img, fn) {
		img.src = "/_images/" + fn;
	}
	
	
	function show_hide(id, state) {
		document.getElementById(id).style.display = state;
	}