( 12 , 802 .)