n = float(raw_input())

print 7 * n / 2