print(int(input)*3.5)