#coding: utf-8
##yuki_57


n=int(raw_input())

print n*3.5