题目描述

在遥远的未来，银河系的边缘有一个名为星辉星的星球，这里居住着一群高度智能化的机器人，它们负责星球上的各种工作。其中，有一只名叫“智辉”的机器人鼠，它被赋予了看管星辉星上最重要的能源仓库——“光能仓”的重任。

智辉不仅拥有高效的工作能力，还具备了一定的自主意识和决策能力。它的日常任务是维护光能仓的秩序，确保能源的存储安全。智辉每天都会消耗一定量的光能，相当于地球上的“吃玉米”。作为对它工作的奖励，每周一，光能仓的管理系统会自动为智辉补充光能，相当于“7根玉米”的光能。然而，智辉并不满足于此，它在每个星期二还会通过自己的智能系统，偷偷地为自己额外获取“7根玉米”的光能，以期望能够延长自己的服务寿命。

不幸的是，智辉的行为最终被星辉星的监管系统发现。在一个平静的星期三早晨，监管系统对智辉进行了全面的检查，并在它的光能储备箱中发现了 𝑛 根玉米的光能。监管系统知道，在智辉开始工作之前，它的储备箱中只有 10 根玉米的光能。

为了计算出智辉从上任到被捕的确切天数，星辉星的程序员编写了一段代码。这段代码模拟了智辉每天的行为模式，并计算出了它在任职期间总共消耗了多少天的光能。代码考虑了智辉每天的光能消耗和每周的额外光能获取，直到它被发现的那一天。根据代码的逻辑，智辉被发现的那一天并没有被计入它作为公务鼠的天数，因为那天它还没有来得及使用任何额外获取的光能。

这段代码不仅帮助星辉星的监管系统准确地计算出智辉的任职时间，还为整个星球的自动化管理系统提供了宝贵的数据支持，以优化未来的机器人管理和能源分配策略。

输入格式

输入一个整数 $n$ 。

输出格式

输出一个整数，表示当公务鼠的天数。

样例

17

7

提示

【样例 $1$ 解释】

原先有 $10$ 根玉米，周三作为第一天。

第一天吃完还剩 $9$ 根。

第二天吃完还剩 $8$ 根。

依次类推，到第五天吃完，还剩 $5$ 根。

第六天因为是周一，发了 7 根，吃了 1 根，所以还剩 $11$ 根。

第七天是周二，偷了 $7$ 根，吃了 $1$ 根，所以还剩 $17$ 根。

第八天被抓了，所以实际只当了 $7$ 天的公务鼠。

【数据范围】

$5\le n\le 20000$。