int(input())*3.5