. . . . "Ken Thomson" . . . . . "Ken Thomson" . . . . . "1976-07-12"^^ . .