0.25456380844116