#include<bits\stdc++.h>
using namespace std;

int main()
{
	double n;
	while(scanf("%lf",&n)==1)
	{
		if(n<1000)
			printf("discount=1,pay=%g\n",n);
		else if(n<2000)
		{
			double res=n*0.95;
			printf("discount=0.95,pay=%g\n",res);
		}
		else if(n<3000)
		{
			double res=n*0.9;
			printf("discount=0.9,pay=%g\n",res);
		}
		else if(n<5000)
		{
			double res=n*0.85;
			printf("discount=0.85,pay=%g\n",res);
		}
		else
		{
			double res=n*0.8;
			printf("discount=0.8,pay=%g\n",res);
		}
	}
	return 0;
}