document.write(document.getElementById('top_menu').value);