( 17 , 251 .)