#include <stdio.h>

int main(void) 
{
	int my_int;
	while(scanf("%*[^1234567890]%i", &my_int) == 1)
	{
		printf("%i\n", my_int);
	}
	// your code goes here
	return 0;
}