F: ごちうさ数

問題

ごちうさが大好きなAORイカちゃんは「ごちうさ数」を定義した。 ごちうさ数とは、 $10$ 進表記において「 $51?3$ 」を含む自然数のことである。
$?$ は $0$ 〜 $9$ のどの数字であってもよい。

$N$ 以下の自然数のうち、ごちうさ数の個数を求めよ。

制約

入力

$N$

出力

ごちうさ数の個数を一行で出力せよ。また末尾に改行を出力せよ。

サンプル

サンプル入力 1

5124

サンプル出力 1

3

$5124$ 以下のごちうさ数は、$5103$ , $5113$ , $5123$ の 三つである。

サンプル入力 2

60000

サンプル出力 2

160

サンプル入力 3

100000

サンプル出力 3

200