#coding: UTF-8

import sys
from math import pi
from collections import deque
from functools import reduce

### defs ###

### main ###
N = int(sys.stdin.readline())
print(3.5*N)