( 9 , 252 .)