function toggle_display(id) {
	var obj = document.getElementById(id);
	if (obj.className != "hidden"){
		obj.className = "hidden";
	}
	else {
		obj.className = "";
	}
}