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