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