for(;s=readline();)print(s*15/8-(45>>s%8&1)|0)