function hocus(thingId)
{
var targetElement;
targetElement = document.getElementById(thingId) ;
if (targetElement.style.display == "none")
{

targetElement.style.display = "" ;
}
}

function pocus(thingId)
{
var targetElement;
targetElement = document.getElementById(thingId) ;
if (targetElement.style.display == "")
{
targetElement.style.display = "none" ;
}
}