说明

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

1. $x$是4的倍数;

2. $x$是7的倍数;

3. $x$ 转换为字符串后包含子串“44”或“77”。

例如，105 (7 的倍数), 442 (包含“44”), 1284 (4 的倍数)都是幸运数字，474 则不是。 编程统计 1 到$n$ 中幸运数字的数量。

输入格式

整数 $n (1 ≤ n ≤ 1,000,000)$

输出格式

一个整数:1, 2, ..., $n$中幸运数字的数量

样例

32

11

987654

406754

来源

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