0.25519394874573