题目描述

浪浪国的鼠鼠阿胡是一只新上任的公务鼠，它的职责是看管粮仓。鼠鼠它每天都会吃掉 $1$ 根玉米，每个星期一会拿到 $7$ 根玉米作为薪水。但是贪心的鼠鼠怎么会就此满足呢，所以每个星期二它还会偷偷往家拿 $7$ 根玉米。虽然鼠鼠非常精明，但是纸是包不住火的，终究还是东窗事发了。鼠鼠被抄家时，从它的被窝里找出了 $n$ 根玉米，已知它上任前家里一共有 $10$ 根玉米，请问从星期三上任到被捕入狱，它一共当了几天公务鼠呢？

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

输入格式

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

输出格式

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

17

7

样例解释

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

数据范围

$5 \le n \le 20000$。