N=int(input())

print(int(N*3.5))