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

void main(int argc, char **argv)
{
  double d;

  d=strtod(argv[1], NULL);

  printf("%16.16lX\n", *((unsigned long *)(&d)));
}