function hideNav() {
	document.getElementById('navOther').style.display = 'block';
}

function showNav() {
	document.getElementById('navOther').style.display = 'none';
}