鼠鼠薪水

问题描述

浪浪国的鼠鼠阿胡是一只新上任的公务鼠，它的职责是看管粮仓。

鼠鼠它每天都会吃掉 1 根玉米，每个星期一会拿到 7 根玉米作为薪水。但是贪心的鼠鼠怎么会就此满足呢，所以每个星期二它还会偷偷往家拿 7 根玉米。

虽然鼠鼠非常精明，但是纸是包不住火的，终究还是东窗事发了。鼠鼠被抄家时，从它的被窝里找出了 $n$ 根玉米，已知它上任前家里一共有 10 根玉米，请问从星期三上任到被捕入狱，它一共当了几天公务鼠呢？

请注意：鼠鼠被抓的当天，还没有来得及享受美味的玉米，被抓的当天不能算在它作为公务鼠的统计天数内。

输入格式

输入一个整数 $n$，表示剩下的玉米数量。

输出格式

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

样例输入 1

17

样例输出 1

7

样例输入 2

23

样例输出 2

15

样例解释

样例 1 解释 原先有 10 根玉米，周三作为第一天。

• 第一天吃完还剩 9 根。
• 第二天吃完还剩 8 根。
• 依次类推，到第五天吃完，还剩 5 根。
• 第六天因为是周一，发了 7 根，吃了 1 根，所以还剩 11 根。
• 第七天是周二，偷了 7 根，吃了 1 根，所以还剩 17 根。
• 第八天被抓了，所以实际只当了 7 天的公务鼠。

数据范围与约定

• $5 \le n \le 20000$。