/*#include <stdio.h>
void mysubstr(char *str, int start, int count)
{
int c=0;
for(int i=start;str[i]!=0;i++)
{
printf("%c",*(str+i));
c++;
if(c==count)
{
break;
}
}
}
int main()
{
char str[101];
int a,b;
scanf("%s %d %d",str,&a,&b);
mysubstr(str,a,b);
}
*/
/*
#include <stdio.h>
#include <string.h>
int main()
{
char str[1000001]={0};
int i,a=0,b=0;
scanf("%s",str);
for(i=0;str[i]!=NULL;i++)
{
if(str=='(')
{
a++;
}
else
{
b++;
}
}
printf("%d %d",a,b);
}
*/
/*
#include <stdio.h>
int main()
{
double a[25],b[25];
int i;
double s=0;
for(i=1;i<=5;i++)
{
scanf("%lf %lf",&a[i],&b[i]);
if(b[i]-a[i]<=1)
{
s=s+0;
}
else if(b[i]-a[i]<5)
{
s=s+(b[i]-a[i])-1;
}
else
{
s=s+4;
}
}
if(s>=15)
{
printf("%0.lf",s*10000-s*500);
}
else if(s>5 && s<15)
{
printf("%0.lf",s*10000);
}
else
{
printf("%0.lf",s*10000+s*500);
}
}
*/
#include <stdio.h>
int main()
{
int a,i,c=70,s=9;
scanf("%d",&a);
if(a>=2013)
{
for(i=2013; i<a; i++)
{
c++;
if(c==77)
{
c=65;
}
s++;
if(s==10)
{
s=0;
}
}
printf("%c%d\n",c,s);
}
else
{
for(i=2013; i>a; i--)
{
c--;
if(c==65)
{
c=77;
}
s--;
if(s==0)
{
s=10;
}
}
}
printf("%c%d\n",c,s);
}