Description

对于正整数 $n$，设 $a_n$ 为 $2^n$ 在十进制下的最高非零位的值，$b_n$ 为 $5^n$ 在十进制下的最高非零位的值，求所有可能的作为 $a_n\times b_n$ 的值的和。相同的值只计算一次。

Input Format

无

Output Format

这是一道结果填空的题，你只需要算出结果后提交即可。本题的结果为一个整数，在提交答案时只需要编写一个程序输出这个整数，输出多余的内容将无法得分。