Input: What is the virtual channel of the station that is the most prominent provider of educational television programming to public television stations in the United States ?
Output: 17