function show_legal()
{document.getElementById("legal").style.visibility = "visible";}
	
function hide_legal()
{document.getElementById("legal").style.visibility = "hidden";}