unsigned char c, x[11] = "dcdcbcbcda";
main(i){
	while(~scanf("%c", &c))if(isdigit(c)) x[c - '0']--;
	for(i=10;i--;) if(x[i]%4 == 3) printf("%d ", i);
	for(i=10;i--;) if(x[i]%4 == 1) printf("%d\n", i);
	return 0;
}