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