0.25777506828308