Which mission number has alternate name 1962-f01
CREATE TABLE "launches" (
  "mission_no" text,
  "cover_name" text,
  "launch_date" text,
  "nssdc_id_no" text,
  "alt_name" text,
  "camera" text,
  "notes" text
);
SELECT "mission_no" FROM "launches" WHERE "alt_name"='1962-F01';