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