function menuShow () { document.getElementById('submenu').style.display = 'block'; }
function menuHide () { document.getElementById('submenu').style.display = 'none'; }
