print(int(int(input()) * 3.5))