print 3.5*int(raw_input())