Timing circuits (Bureau of Ships, Navy Dept., 1945)