0.25870084762573