( 13 , 514 .)