0.25794577598572