( 13 , 803 .)