print(int(input())*3.5)