( 12 , 889 .)