function toggle_vis(obj) {
	var el = document.getElementById(obj);
	el.style.visibility = (el.style.visibility != 'hidden' ? 'hidden' : '' );
}

function toggle_dis(obj) {
	var el = document.getElementById(obj);
	el.style.display = (el.style.display != 'none' ? 'none' : '' );
}