( 12 , 807 .)