#include <stdio.h>

main()
{
	unsigned char c;
	int lowit = 0;

	for( c=getchar(); (!feof(stdin)); c=getchar())
	{
		printf("%%%0.2X",c);
	}
}