#include <iostream>
#include <cstdio>
using namespace std;
int getans(int x){
int asn;
if(x >=0 && x <= 1455){
asn= x/0.97;
}else if(x > 1455 && x<=4155){
asn = (x-1455)/0.9 + 1500;
}else if(x > 4155 && x<=7755){
asn=(x-4155)/0.8 + 4500;
}else if(x > 7755 && x<=27255){
asn=(x-7755)/0.75 + 9000;
}else if(x > 27255 && x<=41255){
asn=(x -27255)/0.7 + 35000;
}else if(x> 41255 && x<= 57505){
asn=(x - 41255)/0.65 + 55000;
}else if(x > 57505 && x<= 68505){
asn=(x -57505)/0.55 + 80000;
}
return asn;
}
int main(int argc, char** argv) {
int n;
scanf("%d",&n);
if(n <=3500 ){
printf("%d",n);
}else{
int ans=getans(n-3500);
printf("%d",ans+3500);
}
return 0;
}
#include <cstdio>
using namespace std;
int getans(int x){
int asn;
if(x >=0 && x <= 1455){
asn= x/0.97;
}else if(x > 1455 && x<=4155){
asn = (x-1455)/0.9 + 1500;
}else if(x > 4155 && x<=7755){
asn=(x-4155)/0.8 + 4500;
}else if(x > 7755 && x<=27255){
asn=(x-7755)/0.75 + 9000;
}else if(x > 27255 && x<=41255){
asn=(x -27255)/0.7 + 35000;
}else if(x> 41255 && x<= 57505){
asn=(x - 41255)/0.65 + 55000;
}else if(x > 57505 && x<= 68505){
asn=(x -57505)/0.55 + 80000;
}
return asn;
}
int main(int argc, char** argv) {
int n;
scanf("%d",&n);
if(n <=3500 ){
printf("%d",n);
}else{
int ans=getans(n-3500);
printf("%d",ans+3500);
}
return 0;
}