#include <stdio.h>
#define BUFFERSIZE 1024

void main ()
{
	char ans[BUFFERSIZE];
	char c;
	int count = 0;
	int count2 = 0;
	
	while ((c = getchar()) != EOF && c != '\n' && count < BUFFERSIZE - 1) {
		if (c >= '0' && c <= '9') {
			ans[count2++] = c;
		}
		count++;
	}
	ans[count2] = '\0';
	printf("%s\n", ans);
}