function vertical_menu() { document.getElementById('v_menu').innerHTML='
'; }