Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Nomeie o número total de televisores de alta definição para eurotic tv.
 ###Tabelas: CREATE TABLE team_players_drafted_into_the_nfl (team_players_drafted_into_the_nfl_id AUTO_INCREMENT PRIMARY KEY, Player VARCHAR, Position VARCHAR, Round INT, Pick INT, NFL Club VARCHAR) CREATE TABLE others (others_id AUTO_INCREMENT PRIMARY KEY, N° INT, Television service VARCHAR, Country VARCHAR, Language VARCHAR, Content VARCHAR, DAR VARCHAR, HDTV VARCHAR, Package/Option VARCHAR) CREATE TABLE denmark (denmark_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Surname VARCHAR, Number of bearers 1971 INT, Number of bearers 2009 INT, Type VARCHAR, Etymology VARCHAR) CREATE TABLE digital_television (digital_television_id AUTO_INCREMENT PRIMARY KEY, Transmitter VARCHAR, BBCA INT, BBCB VARCHAR, D3&4 VARCHAR, ARQA VARCHAR, ARQB VARCHAR, Pol. VARCHAR, A.G. VARCHAR) CREATE TABLE teams'_championship (teams'_championship_id AUTO_INCREMENT PRIMARY KEY, Team VARCHAR, Car No. VARCHAR, MNZ SPR VARCHAR, MNZ FEA VARCHAR, SPA SPR VARCHAR, SPA FEA VARCHAR, MON FEA VARCHAR, SIL SPR VARCHAR, SIL FEA VARCHAR, HUN SPR VARCHAR, HUN FEA VARCHAR, LMS SPR VARCHAR, LMS FEA VARCHAR, CAT SPR VARCHAR, CAT FEA VARCHAR, Points VARCHAR)  
SELECT COUNT HDTV FROM others WHERE Television service = Eurotic TV