n = input()
print(n*3.5)