Write the exact text printed to the standard output stream by the following code fragment:

char foo(int digit) {
  return "0123456789ABCDEF"[digit];
}
char str[16] = {0};
int x = 54321, i = 0;
while (x) {
  str[i++] = foo(x%16);
  x /= 16;
}
str[i] = '\0';
for(--i; i >= 0; --i) {
  fputc(str[i], stdout);
}