0.4 is 20% of what number?