( 17 517 .)