read n
echo $[$n*15/8+~n*5/4%2];. *