function menu()
{

var mnu = document.getElementById('cnt')

if (mnu.style.visibility == 'hidden')
	  {
	  	mnu.style.visibility = 'visible';
	  }
	 else
	  {
	    mnu.style.visibility = 'hidden';
	  }
}