[Location identifiers, 7th edition, dated Apr. 5, 1956], supplement.

Tools