# -*- coding: utf-8 -*-

N = int(input())

print(3.5*N)