<!--
var head="display:''"
function doit(header)
{
//	var head=header.style
//	if (head.display=="none")
//		head.display=""
//	  else
//		head.display="none"
}



-->