( 10 , 513 .)