module Main where

import Data.Int (Int64)

type Input  = Int64
type Output = Int64

parse :: String -> Input
parse =
    read

solve :: Input -> Output
solve input
    | input <= 3 = input
    | otherwise  = input * 5 - 12

render :: Output -> String
render =
    show

main :: IO ()
main =
    interact
        ( render
        . solve
        . parse
        )