0.25725412368774(22)