user: Question: Name the total number of hdtv for Eurotic TV
Columns: ['N°', 'Television service', 'Country', 'Language', 'Content', 'DAR', 'HDTV', 'Package/Option']
Types: ['real', 'text', 'text', 'text', 'text', 'text', 'text', 'text']
Sample row: [872.0, 'Tivu Tivu', 'Italy', 'Italian', 'televendita', '4:3', 'no', 'no ( FTA )']
SQL:

assistant: SELECT COUNT("HDTV") FROM "Table" WHERE "Television service" = 'Eurotic TV';