function toggle()
{
  if(show)
    {
      document.getElementById('pub').style.display="none";
      show = false;
      if(readCookie('pub')==null)
	createCookie( 'pub', '0', '1');
    }
  else
    {
      document.getElementById('pub').style.display="block";
      show=true;
      eraseCookie('pub');
    }
}