#include <stdio.h>

int main(void)
{
	char buf[0x1000];
	while(scanf("%[^\n\r]", buf) != EOF){
		printf("?%s\n", buf);
	}
	return 0;
}