#include<stdio.h>
int main() {
	int a[10] = { 20104,20063,19892,20010,19874,20199,19898,20163,19956,19841 };
	int i, j;
	char c;
	
	scanf("%c", &c);
	if (c != '3')
	{
		printf("%c 3", c);
		return 0;
	}
	scanf("%c", &c);
	for (i = 0; i < 200000; i++) 
	{
		scanf("%c", &c);
		a[c - 48]--;
	}
	for (i = 0; i < 10; i++) 
	{
		if (a[i] == -1)printf("%d ", i);
	}
	for (i = 0; i < 10; i++)
	{
		if (a[i] == 1)printf("%d", i);
	}
	return 0;
}