( 6 , 513 .)