#include<bits/stdc++.h>
using namespace std;
string s;
int main()
{
	getline(cin,s);
	string tmp="";
	for(unsigned int i=0;i<s.size();i++)
	{
		if(isdigit(s[i]))
			tmp+=s[i];
		else if(s[i]==';')
			tmp+=' ';
	}
	for(unsigned i=0;i<tmp.size();i++)
	{
		if(tmp[i]==' ')
			cout<<" ";
		else
			cout<<tmp[i];
	}
	return 0;
}