# No.57 ミリオンダイス
print(3.5 * int(input()))