public int
        MENU_FILE   = 0,
        MENU_EDIT   = 1,
        MENU_FORMAT = 2,
        MENU_VIEW   = 3;