Name the total number of hdtv for eurotic tv
CREATE TABLE "others" (
  "n" real,
  "television_service" text,
  "country" text,
  "language" text,
  "content" text,
  "dar" text,
  "hdtv" text,
  "package_option" text
);
SELECT COUNT("hdtv") FROM "others" WHERE "television_service"='Eurotic TV';