0.25519204139709