function show_text(as_id, as_display){
	window.document.getElementById(as_id).style.display=as_display;
}