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

int main(int argc, char *argv[]) {
	union {
		double d;
		unsigned char c[8];
	} dc;
	int i;

	dc.d = atof(argv[1]);

	for (i = 0; i < 8; i++)
		printf("%02x", dc.c[i]);

	printf("\n");

	return 0;
}