function doCollapse(what) 
  { 
	var i = 0;
	var TempArray = what.split("|");
	for (var i=0; i<TempArray.length; i++)
	  {
	    document.getElementById(TempArray[i]).style.display = 'none';
	  }
  }
function doExpand(what) 
  { 
	var i = 0;
	var TempArray = what.split("|");
	for (var i=0; i<TempArray.length; i++)
	  {
	    document.getElementById(TempArray[i]).style.display = 'block';
	  }
  }
function ProofIsOpen(what)
  {
   var TempArray = what.split("|");
   if(document.getElementById(TempArray[0]).style.display == 'block')
     {
	  doCollapse(what);
	 }
   else
     {
      doExpand(what);
	 }
  }