题目描述

人们在输入文本时，除了逐个输入这种方式外，还可以利用剪贴板进行复制，如果打入一个字母需要 $1$ 的时间，将已输入的部分复制进剪贴板需要 $5$ 的时间（Ctrl+A，Ctrl+C，再取消全选状态），将剪贴板的内容粘贴出来需要 $2$ 的时间（Ctrl+V）。

如果我们不关心输入文本的内容，而只关心输入文本的长度，要输入一个长度不低于 $n$ 的文本最少需要多少时间？

请注意，数据范围与原题略有不同。

输入格式

一个正整数 $n$，表示文本的长度。

输出格式

一个正整数 $t$，表示需要的最短的时间。

20

16

提示

样例解释：先用 $7$ 时间打出 $7$ 个字符，再复制（用去 $5$ 时间），粘贴两次（用去 $4$ 时间），即可用 $16$ 时间打出 $21$ 个字符。

对于 $20\%$ 的数据，$n\le 10$；

对于 $60\%$ 的数据，$n\le 10^4$；

对于 $100\%$ 的数据，$n\le 4\times 10^4$。