#include<stdio.h>
int main(){
	int a[10]={20104,20063,19892,20010,19874,20199,19898,20163,19956,19841},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;
}