0.25240802764893