( 13 , 252 .)