問題文

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

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

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

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

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

入力例1

31

出力例1

3

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

入力例2

7

出力例2

1

入力例3

111

出力例3

8

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

入力例4

777777777777777777

出力例4

271402266318408