void menu() { cout