N = int(input())
print((15*N)//10)