N = int(input())

print(7 * N / 2)