0.25356388092041