// JavaScript Document

function show_menu() {document.getElementById("menu_r").style.display="block";}
function hide_menu() {document.getElementById("menu_r").style.display="none";}