print(3.5*int(input()))