( 31 , 552 .)