public enum int {MENU_FILE, MENU_EDIT, MENU_FORMAT, MENU_VIEW} ;