n = int(input())

print(3.5 * n)