n = int(input())
print(n * 3.5)