# coding: utf-8
# yukicoder No.57 ミリオンダイス

N = int(input())

# 期待値の線形性
ev = 3.5 * N

print(ev)