#include <iostream>
using namespace std; 
int main()
{
	int a;
	cin>>a;
	int b;
	int jg;
	if(a>3500)
	{
		b=a-3500;
	}else
	{
		jg=a;
		cout<<jg;//<<" <3500";
		return 0;
	}
	if(b<=1500-1500*0.03)
	{
		//jg=3500+b*1.03;
		jg=3500+b/0.97;//20分 
		cout<<jg;//<<" <1500";
		return 0;
	}else if(b>1500-1500*0.03)
	{
		b=b+1500*0.03;
	}
	if(b<=4500-3000*0.10)
	{
		//jg=3500+b+(b-1500)*1.10;//10分 
		//jg=3500+1500+(b-1500)*1.10;//10分
		 jg=3500+1500+(b-1500)/0.90;//30分 
		cout<<jg;//<<" <4500";
		return 0;
	}else if(b>4500-3000*0.10)
	{
		b=b+3000*0.10;
	}
	if(b<=9000-4500*0.20)
	{
		//jg=3500+b+(b-4500)*1.20;
		//jg=3500+4500+(b-4500)*1.20;
		jg=3500+4500+(b-4500)/0.80;
		cout<<jg;//<<" <9000";
		return 0;
	}else if(b>9000-4500*0.20)
	{
		b=b+4500*0.20;
	}
	if(b<=35000-26000*0.25)
	{
		//jg=3500+b+(b-9000)*1.25;
		//jg=3500+9000+(b-9000)*1.25;
		jg=3500+9000+(b-9000)/0.75;
		cout<<jg;//<<" <35000";
		return 0;
	}else if(b>35000-26000*0.25)
	{
		b=b+26000*0.25;
	}
	if(b<=55000-20000*0.30)
	{
		//jg=3500+b+(b-35000)*1.30;
		//jg=3500+35000+(b-35000)*1.30;
		jg=3500+35000+(b-35000)/0.70;
		cout<<jg;//<<" <55000";
		return 0;
	}else if(b>55000-20000*0.30)
	{
		b=b+20000*0.30;
	}
	if(b<=80000-25000*0.35)
	{
		//jg=3500+b+(b-55000)*1.35;
		//jg=3500+55000+(b-55000)*1.35;
		jg=3500+55000+(b-55000)/0.65;
		cout<<jg;//<<" <80000";
		return 0;
	}else if(b>80000-25000*0.35)
	{
		b=b+25000*0.35;
	}
	//jg=3500+b+(b-80000)*1.45;
	//jg=3500+80000+(b-80000)*1.45;
	jg=3500+80000+(b-80000)/0.55;
	cout<<jg; 
	return 0;
}