function toggle() {
var NAME = document.getElementById("subnav")
	if ( NAME.className == "vis" )
	{
		NAME.className = ""
	}
	else
	{
		NAME.className = "vis"
	}
}