print float(raw_input())*3.5