import sys
read = sys.stdin.read
readline = sys.stdin.readline
readlines = sys.stdin.readlines

print(3.5 * int(readline()))