#include<bits/stdc++.h>
using namespace std;
int main(){
	int n;
	while(~scanf("%d",&n)){
		if(n >= 5000)
			printf("discount=0.8,pay=%g\n",n*0.8);
		else if(n >= 3000)
			printf("discount=0.85,pay=%g\n",n*0.85);
		else if(n >= 2000)
			printf("discount=0.9,pay=%g\n",n*0.9);
		else if(n >= 1000)
			printf("discount=0.95,pay=%g\n",n*0.95);
		else
			printf("discount=1,pay=%d\n",n);	
	}	
	return 0;	
}