read n
echo $[n<4?n:n*5-12]