n=int(input())

print(int(n*3.5))