题目描述

浪浪国的鼠鼠阿胡是一只新上任的公务鼠，它的职责是看管粮仓。
鼠鼠每天都会吃掉 1 根玉米，每个星期一会拿到 7 根玉米作为薪水。贪心的鼠鼠还会在每个星期二偷偷往家拿 7 根玉米。
纸终究包不住火，鼠鼠被抄家时，从它被窝里找出了 n 根玉米。已知它上任前家里一共有 10 根玉米，且它从星期三开始上任，被捕当天还没来得及吃玉米，也不算在公务鼠的统计天数内。请计算鼠鼠一共当了几天公务鼠。

输入格式

输入一个整数 n，表示抄家时找出的玉米数量。

输出格式

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

样例输入输出

样例 1

• 样例输入 1：

17

• 样例输出 1：

7

Hint

样例 1 解释

1. 鼠鼠上任前有 10 根玉米，从星期三开始作为公务鼠的第一天；
2. 第 1 天（周三）：吃 1 根，剩余 10 - 1 = 9 根；
3. 第 2 天（周四）：吃 1 根，剩余 9 - 1 = 8 根；
4. 第 3 天（周五）：吃 1 根，剩余 8 - 1 = 7 根；
5. 第 4 天（周六）：吃 1 根，剩余 7 - 1 = 6 根；
6. 第 5 天（周日）：吃 1 根，剩余 6 - 1 = 5 根；
7. 第 6 天（周一）：拿 7 根薪水，再吃 1 根，剩余 5 + 7 - 1 = 11 根；
8. 第 7 天（周二）：偷 7 根玉米，再吃 1 根，剩余 11 + 7 - 1 = 17 根；
9. 第 8 天：鼠鼠被捕，当天不算，故实际任职天数为 7 天。

数据范围

5 ≤ n ≤ 20000。