( 57 31 .)