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