function restnavon() {
	therestnav = document.getElementById('restnav');	
	therestnavbutton = document.getElementById('view_restnav');	
	therestnav.style.display = 'block';
	therestnavbutton.style.display = 'none';
}

function restnavoff() {
	therestnav = document.getElementById('restnav');	
	therestnavbutton = document.getElementById('view_restnav');	
	therestnav.style.display = 'none';
	therestnavbutton.style.display = 'block';
}