( 13 , 516 .)