What is the high 10 profile number when the high profile is 80?
CREATE TABLE "table1_237036_2" (
  "level" text,
  "luma_samples_s" real,
  "macroblocks_s" real,
  "luma_samples" real,
  "macroblocks" real,
  "baseline_extended_and_main_profiles" real,
  "high_profile" real,
  "high_10_profile" real,
  "examples_for_high_resolution_highest_frame_rate_max_stored_frames_toggle_additional_details" text
);
SELECT MAX("high_10_profile") FROM "table1_237036_2" WHERE "high_profile"=80;