#include<stdio.h>

int main()
{
	char str[10];
	char *p_str=0;

	scanf("%s", str);

	p_str = &str[4];
	*p_str = '@';

	p_str = &str;

	printf("%s\n", p_str);
	return 0;
}