N =int(input()) print(3.5*N)