( 17 516 .)