题目描述

$1337$ 个人排成一个圈，从 $1$ 号人开始报数，初始方向是 $1,2,3\dots$。如果某个人报的数是 $7$ 的倍数或数字中含有 $7$，那么报数的方向就反一下。问报数字 $X$ 的是第几号人？

比如初始 $20$ 个数字的情况是：

输入格式

一行一个整数 $X$。

输出格式

一行一个整数，表示最终报数字 $X$ 的是第几号人。

样例 #1

样例输入 #1

1000

样例输出 #1

1311

提示

【数据规模与约定】

对于 $30\%$ 的数据，满足 $X\leq10^6$；

对于 $90\%$ 的数据，满足 $X\leq10^8$；

对于 $100\%$ 的数据，满足 $X\leq10^9$。