>>628
#include <stdio.h>

#define TABLE_SIZE 13

int main(void){
char buf[256], temp[256], result[20], *symbol="0123456789ABC";
int table[TABLE_SIZE]={1}, i, j, x;

for(i=1;i<TABLE_SIZE;i++) table[i]=table[i-1]*(i+1);

while(fgets(buf, sizeof(buf), stdin)){
if(sscanf(buf, "%d%s", &x, temp)==1 && x>=0){
for(i=TABLE_SIZE-1,j=0;x<table[i];i--)
;
for(j=0;i>=0;i--)
{
result[j++]=symbol[x/table[i]];
x%=table[i];
}
result[j]='\0';
printf("%s\n", result);
continue;
}
printf("E\n");
}

return 0;
}