function toggle_elem(elem, dpl)
{
	var obj = document.getElementById(""+elem);
	if (obj != null)
	{
		obj.style.display = dpl;
	}
}
