( 9 , 802 .)