0.2500000000000000