#include <stdio.h>
#include <stdlib.h>
int main(void){
	char correo[50];
	while(gets(correo))
		printf("%s;",correo);
	return 0;
}