// JavaScript Document
function toggle_display(id)
{ 
	with (document.getElementById(id).style) 
	{ 
		if (display == "none") 
		{
			display = "" 
		}
		else
		{ 
			display = "none"; 
		}
	}
}