N=int(raw_input())

print N*3.5