function display_menu_4() {}