n = int(input())
x = n*15
print(x//10)