( 13 , 807 .)