function pDown() {
	document.getElementById('hidden-navi').style.visibility='visible';
}
function pHide() {
	document.getElementById('hidden-navi').style.visibility='hidden';
}