function toggleDiv(divId) {
	if (div_toggle(divId).className == "hidden") {
		div_toggle(divId).className = "visible";
	} else {
		div_toggle(divId).className = "hidden";
	}
}
function div_toggle(divId) {
	return document.getElementById(divId);
}