{"raw_statement":[{"iden":"statement","content":"小明认为，如果以下条件之一成立，则正整数 $x$ 就是一个幸运数字：\n\n1. $x$ 是 $4$ 的倍数。\n1. $x$ 是 $7$ 的倍数。\n1. $x$ 转换为字符串后，包含子串 `44` 或 `77`。\n\n例如，$105$（$7$ 的倍数）、$442$（包含`44`）、$1284$（$4$ 的倍数）都是幸运数字，而 $474$ 则不是。编程统计 $1$ 到 $n$ 中幸运数字的数量。"},{"iden":"input","content":"一行，一个整数 $n$。"},{"iden":"output","content":"一行，一个整数，$1,2,3,\\dots n$ 中幸运数字的数量。"},{"iden":"note","content":"对于 $100\\%$ 的数据，$1\\le n\\leq 10^6$。\n\n>本题原始满分为 $10\\text{pts}$。"}],"translated_statement":null,"sample_group":[["32","11"],["987654","406754"]],"show_order":[],"formal_statement":null,"simple_statement":null,"has_page_source":false}