var original_text = getElementById('menu_text').innerHTML;