#include <stdio.h>

main(){
int c;
char b[3];

	while(!feof(stdin)){
		c=getchar();
		if(c=='%'){
			b[0]=getchar();
			b[1]=getchar();
			b[2]='\0';
			sscanf(b,"%02x",&c);
		}
		putchar(c);
	}
}