( 40 , 513 .)