The BBC also introduced Ceefax, the first teletext service, starting in 1974. When was Ceefax launched