N = int(input())
print(int(3.5*N))