print 3.5*input()