dumpmenus();