( 15 , 803 .)