0.25725197792053