AT_donuts_live2014_2 7th

[problemUrl]: https://atcoder.jp/contests/donuts-live2014/tasks/donuts_live2014_2 パンチくんは、 $ 7 $ という数字が大好きです。先日も、ナナにまつわるゲームをリリースし、順調にユーザ数を伸ばしています。 さて、パンチくんは、 $ 7 $ の倍数に興味をもちました。以下の様なゲームを考えます。 パンチくんとニコルちゃんは、数字の $ 1〜7 $ のカードを、十分たくさん持っています。まずパンチくんは、カードをいくつか並べて、ある自然数を作ります。次にニコルちゃんは、カードをいくつか並べて、以下の条件を満たす自然数を作ります。 - ニコルちゃんが作った数字は、パンチくんが作った数字以下である。 - ニコルちゃんが作った数字は、 $ 10 $ 進数表記で、 $ 7 $ の倍数である。 ニコルちゃんは、何通りの数字を作ることができるでしょうか。

入力は以下の形式で標準入力から与えられる。 > $ N $ - $ 1 $ 行目には、パンチくんが作った自然数 $ N\ (1\ ≦\ N\

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

### 部分点 $ 1\ ≦\ N\