( 12 , 887 .)