( 12 , 862 .)