题目描述

某郭姓学长的 $ID$ 是 $guo3125976202$

大家很好奇为什么是这么一串奇怪的字符

哦，原来郭学长的 $QQ$ 是 $3125976202$

但大家老是记不住这串数字，于是郭学长的 $ID$ 就被简化为了 $guo312$

于是数字 $312$ 已经成为了集训室的敏感数字

为了跟郭学长搞好关系，你要具备一种特殊的技能，即给你一个数字 $n$ ,请统计在 $1\sim n$ 中,带有 $312$ 的数字一共有多少个

输入格式

一个数字 $n (1 \leq b \leq 10^6)$

输出格式

一个数字，在 $1\sim n$ 中，带有 $312$ 的数字一共有多少个

样例

样例输入

10000

样例输出

20

数据范围与提示

在样例中， $1\sim 10000$ 中符合题意的数字有

312, 1312, 2312, 3120, 3121, 3122, 3123, 3124, 3125, 3126, 3127, 3128, 3129, 3312, 4312, 5312, 6312, 7312, 8312, 9312

共计 $20$ 个数字