function toggle() { 
  x=document.getElementById("contents_toggle").innerHTML;
  if (x=="[show]") {
	document.getElementById("contents_toggle").innerHTML="[hide]";
	document.getElementById("contents").style.display="";				
  }
  else {
	document.getElementById("contents_toggle").innerHTML="[show]";
	document.getElementById("contents").style.display="none";
  }               
}