题目描述

小明认为，如果以下条件之一成立，正整数 $x$ 就是一个幸运数字：

1. $x$ 是 $4$ 的倍数；
2. $x$ 是 $7$ 的倍数；
3. $x$ 转换为字符串后包含子串 "44" 或 "77"。

例如，$105$（$7$ 的倍数）、$442$（包含 "44"）、$1284$（$4$ 的倍数）都是幸运数字，$474$ 则不是。编程统计 $1$ 到 $n$ 中幸运数字的数量。

输入格式

一个整数 $n$。

输出格式

一个整数，表示 $1, 2, \ldots, n$ 中幸运数字的数量。

样例

32

11

987654

406754

数据范围

$1 \le n \le 10^6$

来源

2016 江苏省青少年信息学奥林匹克竞赛复赛