( 12 , 803 .)