// DisplayMenu.h

extern void DisplayMenu();
  // MODIFIES: cout
  // POST: a menu is added to cout