divided by 0.25