n = float(input()) if n<2000: print(round(n,1)) elif n >= 2000 and n < 3000: print(round(0.8n,1)) elif n >= 3000 and n < 4000: print(round(0.7n,1)) elif n >= 4000: print(round(0.6n,1))