/**
* @file		????.cpp
* @author	??	1000012792
* @date		2010.12.9
*/
int main()
{
	char s[40];
	int i, flag = 0, l;				//flag?????????
	cin.getline(s,40);				//??????????s
	l = strlen(s);					//l??s???
	for(i=0;i<l;i++)
	{
		if(s[i]<='9'&&s[i]>='0')	//????????
		{
			cout << s[i];			//?????????flag??1
			flag = 1;
		}
		else
		{
			if(flag==1)				//????flag==1,?????????????????????????flag????0
			{
				cout << endl;
				flag = 0;
			}
		}
	}
	return 0;
}