( 71 3)