When Xiao Ming multiplied a number by 0.25, he regarded the multiplication sign as a division sign, and the result was 20. What is the correct product?
小明在计算某数乘0.25时，把乘号看成了除号，结果得20，正确的积是多少
<gadget id="calculator">0.25 * 20 * 0.25</gadget>
<output>1.25</output>

<result>1.25</result>