( 12 , 867 .)