The BBC also introduced Ceefax, the first teletext service, starting in 1974. Ceefex replaced what interactive service?