print(int(input()) * 3.5)