PosEx ^{$ 0.004765 (0)}