( 13 , 841 .)