void Menu_Refresh(); void Menu_Update_Display(void); void Menu_Clear_Buttons(void);