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

}