题目描述

前两天，在世最长寿猫去世了。小珅看到新闻说享年 $33$岁相当于人类 $152$岁，于是他非常好奇，这个转换规则是什么。

于是 小珅找到了一个年龄对应关系表：

|猫咪 |1月 |3月 |6月 |1年 |2年 |3年 |5年 |10年|15年|20年|

|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|:-:|

|人类 |1年 |4年 |10年|15年|24年|28年|36年|56年|76年|96年|

简单来说，猫咪和人类的年龄对应关系为：

猫咪 $1$岁时，相当于人类 $15$岁

猫咪 $2$岁时，相当于人类 $24$岁

$2$岁之后，猫咪每 $1$年相当于人类 $4$年。

现在告诉你 小珅（人类）今年满了 $x$岁，请你算算如果小珅是一只小猫咪，他今年满了多少岁。（至于什么是满了，可以看看样例数据）。

输入格式

一个数 $x$。

输出格式

一个整数，表示对应的小猫咪的年龄。

输入 #1

15

输出 #1

1

输入 #2

14

输出 #2

0

输入 #3

24

输出 #3

2

输入 #4

25

输出 #4

2

输入 #5

73

输出 #5

14

输入 #6

84

输出 #6

17

10

0

15

1

20

1

说明/提示

数据范围

对于 $100\%$的数据，$1 \le x \le 969$。