( 15 517 .)