{{{
#include <stdio.h>

int main() {
	char str[10] = { 0 }; 
	char* p_str = 0;
	scanf("%s", str);
	p_str = &str[4];
	*p_str = '@';
	p_str = &str;

	printf("%s\n", p_str);

	return 0;


}
}}}