function menu(){document.write(' \n'); }