Pin. Make same as.

9, 1967, and December 7, 1972. Minimal modifications to adapt them for.