#include<stdio.h>
int main()
{
float salary=500;
int grade;
long profit;
while(scanf("%ld",&profit))
{
grade=(profit-1)/1000;
switch (grade)
{
case 0:break;
case 1:salary+=profit*0.1;break;
case 2:
case 3:
case 4:salary+=profit*1.5;break;
case 5:
case 6:
case 7:
case 8:
case 9:salary+=profit*0.2;break;
default:salary+=profit*0.25;
}
printf("%.2f\n",salary);
}
return 0;
}