"1934-04-18"^^ . . . . "Brian Lamport" . . . "Brian Lamport" . .