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