( 20 , 513 .)