function toggle_visibility(id) 
{
	var e = document.getElementById(id);
	e.style.visibility = 'visible';
}