function menu_on(num){
document.getElementById(num).style.visibility='visible';
}

function hide_all () {
for (i=1; i<300; i++) {
if (document.getElementById('p'+i)) {document.getElementById('p'+i).style.visibility='hidden';}
}
}