12843 x s .)