print(int(input()) * 7 / 2)