( 12 , 893 .)