#include<stdio.h> 
main() 
{ 
char c;
while((c=getchar())!='E')
{
	if(c==0xFF) putchar(' ');
	if(c==0x00) putchar('!');
}

}