问题文

Punch先生喜欢数字7。不久前，他发布了一个与数字7有关的游戏，并成功地吸引了许多用户。

现在，Punch先生对7的倍数产生了兴趣。他考虑了以下游戏规则。

Punch先生和Nikoru小姐分别拥有数字1到7的卡片，数量足够多。首先，Punch先生将一些卡片排列在一起，组成一个正整数。然后，Nikoru小姐也会将一些卡片排列在一起，以满足以下条件并得到一个自然数：

• Nikoru小姐得到的数字不大于Punch先生的数字。
• Nikoru小姐得到的数字的十进制表示是7的倍数。

请问Nikoru小姐可以创建多少种数字。

---

输入

输入从标准输入中给出，格式如下所示：

$N$

• 第1行给出Punch先生创建的自然数 $N (1 ≦ N < 1000000000000000000 (10^{18}))$。
• 确保N的每位数字都是1、2、3、4、5、6、7中的一个。

部分分

对于满足 $1 ≦ N < 100000 (10^5)$ 的测试用例，如果正确则可以得到部分分，共40分。

输出

输出Nikoru小姐可以创建的数字的数量，以一行输出。输出末尾换行。

---

输入示例1

31

输出示例1

3

Nikoru小姐可以创建的数字是7、14、21。请注意不能创建28。

---

输入示例2

7

输出示例2

1

---

输入示例3

111

输出示例3

8

由于卡片数量足够多，Nikoru小姐也可以创建数字77。

---

输入示例4

777777777777777777

输出示例4

271402266318408

---