题目描述

33DAI 进入了一个奇怪的学校，班上只有四位同学，每个人上学的时间都不一样。

从开学第一天开始给每天编号，这个学校一共开了 $n$ 天，编号为 $1\sim n$。

• 同学 A：只在编号为质数的那些天上学。
• 同学 B：只在编号为回文数的那些天上学。
• 同学 C：只在编号十进制下有奇数位的那些天上学。（不考虑前导 $0$）。
• 33DAI：只在编号为 $7$ 的倍数或者编号十进制下有数位 $7$ 的那些天上学。

请问这 $n$ 天有多少天四位同学都上学了。

输入格式

一个数 $n$。

输出格式

一个数，即这 $n$ 天有多少天四位同学都上学了。

10

1

只有 $7$。

1000

6

有 $7,373,727,757,787,797$

10000000000

2955

数据规模与约定

对于 $100\%$ 的数据，$1 \le n \le 10^{12}$。

• 子任务 1（10 分）：保证 $n\le 10^3$。
• 子任务 2（20 分）：保证 $n\le 10^5$。
• 子任务 3（30 分）：保证 $n\le 10^7$。
• 子任务 4（40 分）：没有特殊限制。