( 12 , 841 .)