// JavaScript Document
function div_hide(obj_id,do_hide)
	{if (do_hide)
		{document.getElementById(obj_id).style.display = "none";}
	else
		{document.getElementById(obj_id).style.display = "inline";}
	}