AT_codequeen2024_final_a Welcome to AtCoder Land 2

AtCoder Land は、 $ 10 $ 時ちょうど、 $ 15 $ 時ちょうど、 $ 17 $ 時ちょうどの $ 3 $ つのタイミングでしか入場できません。 高橋君は $ X $ 時ちょうどに AtCoder Land に到着しました。最短で何時ちょうどに入園できますか？ 但し、高橋君の到着と同じタイミングに AtCoder Land に入場できる場合も、高橋君は AtCoder Land に入場できるものとします。

入力は以下の形式で標準入力から与えられる。 > $ X $

答えを整数として出力せよ。

### Sample Explanation 1 高橋君は $ 14 $ 時ちょうどに AtCoder Land に到着しました。高橋君は $ 15 $ 時ちょうどに入園できます。 ### Sample Explanation 2 高橋君は $ 17 $ 時ちょうどに AtCoder Land に到着しました。高橋君は $ 17 $ 時ちょうどに入園できます。 この入力は、高橋君の到着と同じタイミングに AtCoder Land に入場できる場合に対応します。 ### Constraints - $ X $ は $ 6 \le X \le 17 $ を満たす整数