N = input()
print(N*3.5)