Instruct: Name the total number of hdtv for eurotic tv
Output: SELECT COUNT HDTV FROM table WHERE Television service = Eurotic TV