#include <stdlib.h>
#include <stdio.h>

void main(int argc, char **argv) {
  unsigned int target = atoi(argv[1]);
  unsigned short buffer[5];

  int i=0;
  for(; i<10; i++) {
    if(target<65536) {
      buffer[i] = target;
      break;
    } else {
      buffer[i] = 65503+(target%31);
      target    = (target-buffer[i])*3186588639;
    }
  }

  printf("\"");
  for(;i>=0;i--) printf("\\u%04x", buffer[i]);
  printf("\".hashCode() == %i\n", atoi(argv[1]));
}