+#define HD_1920x1080_2997 0
+#define HD_1920x1080_2500 1
+#define HD_1280x720_5994p 2
+#define HD_1280x720_5000p 3
+#define HD_720x576_5000p 4
+#define HD_720x576_2500 5
+#define HD_720x480_5994p 6
+#define HD_720x480_2997 7
+
+static struct hd_format {
+ const char *name;
+ int w, h;
+ double framerate;
+} hd_formats[] = {
+ { "1920x1080 29.97", 1920,1080, 29.97 },
+ { "1920x1080 25", 1920,1080, 25 },
+ { "1280x720 59.94p", 1280,720, 59.94 },
+ { "1280x720 50p", 1280,720, 50 },
+ { "720x576 50p(PAL)", 720,576, 50 },
+ { "720x576 25 (PAL)", 720,576, 25 },
+ { "720x480 59.94p(NTSC)", 720,480, 59.94 },
+ { "720x480 29.97 (NTSC)", 720,480, 29.97 },
+};