/*
#include <stdio.h>
#include <stdlib.h>
int main()
{
printf("Hello world!\n");
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
int a[5],i,j,n=0,max=1,m=0;
for(i=0; i<5; i++)
{
scanf("%d",&a[i]);
}
for(i=0; i<3; i++)
{
for(j=0; j<5; j++)
{
if(a[j]>max)
{
max=a[j];
m=j;
}
}
if(i==2)
{
printf("%d",max);
return 0;
}
a[m]=0;
max=0;
}
}
*/
/*
#include <stdio.h>
int main()
{
int n,i,j,sum=0,m=0;
scanf("%d",&n);
for(i=0; ;i++){
m=m*10+n%10;
sum+=n%10;
n=n/10;
if(n==0){
break;
}
}
printf("%d\n%d",m,sum);
}
*/
/*
#include <stdio.h>
int main()
{
int n,m,a,i,cnt=0;
scanf("%d %d",&n,&m);
for(i=1;i<=n;i++){
if(n%i==0){
cnt++;
if(cnt==m){
printf("%d",i);
return 0;
}
}
}
if(m>cnt){
printf("0");
}
}
*/
/*
#include <stdio.h>
int main()
{
int m,n,i,j,cnt=0,sum=0,min=10000;
scanf("%d %d",&m,&n);
for(i=m;i<=n;i++){
cnt=0;
for(j=1;j<=i;j++){
if(i%j==0){
cnt++;
}
}
if(cnt==2){
sum+=i;
if(i<min)
{
min=i;
}
}
}
if(sum==0){
printf("-1");
}
else{
printf("%d\n%d",sum,min);
}
}
*/
/*
#include <stdio.h>
int main()
{
int n,i,sum=0,min=100,cnt=0;
for(i=1;i<=7;i++){
scanf("%d",&n);
if(n%2==1){
sum+=n;
if(n<min){
min=n;
}
}
}
if(sum==0){
printf("-1");
}
else{
printf("%d\n%d",sum,min);
}
}
*/
/*
#include <stdio.h>
int main()
{
char str[51];
int i,sum=0;
scanf("%s",str);
for(i=1;i<strlen(str);i++){
if(str[i]==str[i-1]){
sum+=5;
}
else{
sum+=10;
}
}
printf("%d",sum+10);
}
*/
#include <Stdio.h>
int main()
{
int n,i,s;
scanf("%d",&n);
if(n<=500){
s=n*(70/100);
}
else if(500<n&&n<=1500){
s=350+(n-500)*(40/100);
}
else if(1500<n&&n<=4500){
s=750+(n-1500)*(15/100);
}
else if(4500<n&&n<=10000){
s=1200+(n-4500)*(5/100);
}
else{
s=1475+(n-10000)*(2/100);
}
printf("%d",s);
}