( 13 , 802 .)