// JavaScript Document

	function showTitle() {
		var title = document.getElementById("info_box_title");
		title.style.visibility = "visible";
	}
	
	function showTitle2(t) {
		var title = document.getElementById(t);
		title.style.visibility = "visible";
	}