AT_donuts_live2014_2 7th

パンチくん非常喜欢数字 $7$。前几天，他还发布了一款与“ナナ”相关的游戏，用户数量正在稳步增长。 现在，パンチくん对 $7$ 的倍数产生了兴趣。他想出了如下的游戏。 パンチくん和ニコルちゃん都拥有足够多的 $1$ 到 $7$ 的数字卡片。首先，パンチくん会用若干张卡片排列出一个自然数。接着，ニコルちゃん也用若干张卡片排列出一个自然数，并且需要满足以下条件： - ニコルちゃん所组成的数字，不大于パンチくん所组成的数字。 - ニコルちゃん所组成的数字，在十进制表示下，是 $7$ 的倍数。 请问，ニコルちゃん一共可以组成多少个不同的数字？

输入从标准输入读取，格式如下： > $N$ - 第 $1$ 行为パンチくん所组成的自然数 $N\ (1 \leq N < 1000000000000000000\ (10^{18}))$。 - 保证 $N$ 的每一位数字都是 $1,\ 2,\ 3,\ 4,\ 5,\ 6,\ 7$ 中的某一个。

请输出ニコルちゃん可以组成的数字的个数。输出应以换行符结尾。

## 部分分 如果你的程序能正确解决 $1 \leq N < 100000\ (10^5)$ 的测试用例，可以获得 $40$ 分。 ## 样例解释 1 ニコルちゃん可以组成的数字有 $7,\ 14,\ 21$ 共 $3$ 个。注意 $28$ 不能被组成。 ## 样例解释 3 由于卡片数量充足，ニコルちゃん也可以组成像 $77$ 这样的数字。 由 ChatGPT 4.1 翻译