#include <stdio.h>
int main()
{
int n;
scanf("%d",&n);
do
{
printf("%d",n*7/10);
}while(n<=500);
do
{
printf("%d",350+(n-500)*4/10);
}while(500<n&&n<=1500);
do
{
printf("%d",750+(n-1500)*15/100);
}while(1500<n&&n<=4500);
do
{
printf("%d",1200+(n-4500)/20);
}while(4500<n&&n<=10000);
do
{
printf("%d",1475+(n-10000)/50);
}while(10000<n);
return 0;
}