( 17 , 513 .)