n=int(input()) if n<2000: ans=n*1.0 if 2000<=n<3000: ans=n*0.8 if 3000<=n<4000: ans=n*0.7 if 4000<=n: ans=n*0.6 print(ans)