暂无测试数据。

蒜头君想找一组满足条件的整数 $a_1$，$a_2$，$a_3$，使得 $a_1 + a_2 + a_3$ 最大。

已知 $0 \le a_1, a_2, a_3 \le n$，而且 $a_1 + a_2$ 是 $2$ 的倍数，$a_2 + a_3$ 是 $3$ 的倍数， $a_1 + a_2 + a_3$ 是 $5$ 的倍数。

输入格式

一行，包含一个整数 $n (0 \le n \le 100)$。

输出格式

一个整数，即 $a_1 + a_2 + a_3$ 的最大值。

3

5