n = int(raw_input())

print n*3.5