( 13 , 513 .)