問題文

パンチくんは、 $7$ という数字が大好きです。先日も、ナナにまつわるゲームをリリースし、順調にユーザ数を伸ばしています。

さて、パンチくんは、 $7$ の倍数に興味をもちました。以下の様なゲームを考えます。

パンチくんとニコルちゃんは、数字の $1〜7$ のカードを、十分たくさん持っています。まずパンチくんは、カードをいくつか並べて、ある自然数を作ります。次にニコルちゃんは、カードをいくつか並べて、以下の条件を満たす自然数を作ります。

• ニコルちゃんが作った数字は、パンチくんが作った数字以下である。
• ニコルちゃんが作った数字は、 $10$ 進数表記で、 $7$ の倍数である。

ニコルちゃんは、何通りの数字を作ることができるでしょうか。

入力

入力は以下の形式で標準入力から与えられる。

$N$

• $1$ 行目には、パンチくんが作った自然数 $N (1 ≦ N < 1000000000000000000 (10^{18}))$ が与えられる。
• $N$ の各桁の数値は、 ${1, 2, 3, 4, 5, 6, 7}$ のいずれかであることが保証されている。

部分点

$1 ≦ N < 100000 (10^5)$ を満たすテストケースに正解した場合、部分点として $40$ 点が与えられる。

出力

ニコルちゃんが作ることのできる数字の個数を、 $1$ 行で出力せよ。出力の末尾には改行をいれること。

入力例1

31

出力例1

3

ニコルちゃんが作ることのできる数字は、 $7, 14, 21$ の $3$ つです。 $28$ は作ることができないことに注意して下さい。

入力例2

7

出力例2

1

入力例3

111

出力例3

8

十分たくさんのカードを持っているので、ニコルちゃんは同じ数字を並べた $77$ という数字を作ることも可能です。

入力例4

777777777777777777

出力例4

271402266318408