function toggle_hidden(div_id) {
	div = document.getElementById(div_id);
	if (div.style.display == "block") {
		div.style.display = "none";
	}
	else {
		div.style.display = "block";
	}
}