function toggle(element) {
	document.getElementById(element).style.display = (document.getElementById(element).style.display == "none") ? "" : "none";
}