print(int(input() * 3.5))