Changes in Bureau of Naval Personnel manual [1942], no. 12; June 5, 1947.