function omitbody(anum)
		{
			document.getElementById(anum + ".omit").style.display="";
			document.getElementById(anum + ".body").style.display="none";
		}
		function fullbody(anum)
		{
			document.getElementById(anum + ".omit").style.display="none";
			document.getElementById(anum + ".body").style.display="";
		}