( 15 643 .)