How many different numbers of Tot enlisted are there on the dates when the number of Enlisted o/s was 801471?
CREATE TABLE "growth_personnel" (
  "date" text,
  "total_usaaf" real,
  "tot_officers" real,
  "tot_enlisted" real,
  "num_overseas" real,
  "officers_o_s" real,
  "enlisted_o_s" real
);
SELECT COUNT("tot_enlisted") FROM "growth_personnel" WHERE "enlisted_o_s"=801471;