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

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

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

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

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

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

样例
输入 17
输出 7

输入 23
输出 15
【样例 1 解释】

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

第一天吃完还剩 9 根。

第二天吃完还剩 8 根。

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

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

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

第八天被抓了，所以实际只当了 7 天的公务鼠。
【数据范围】
5<=n<=20000

本人很菜