function toggle_visibility(id) {
	obj = document.getElementById(id);
	s = obj.style.display;
	if (s == 'none' || s == '') {
		obj.style.display = 'block';
	}
	else {
		obj.style.display = 'none';
	}
}