#coding: utf-8
##yuki_57

x=int(raw_input())
print x*3.5