# -*- coding: utf-8 -*- N = int(input()) print(3.5*N)