Public [act] 539-723, 75th Congress. Judges. H. R. 8700, act relating to retirement of justices of Supreme Court of Hawaii and judges of United States district court for Hawaii.