( 9 917 .)