#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_NUM_KIND		9										// 数字種類数
#define D_NUM_CNT		13										// 数字数
#define D_CNT_MAX		5										// 最大個数

// 内部変数
static FILE *szpFpI;											// 入力
static int si1NCnt[D_NUM_KIND];									// 数字数[数字種類]

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// 個数数 - 取得
int
fGetCCnt(
	int *pipNCnt				// <I> 数字数
	, int *pipCCnt				// <I> 個数数
)
{
	int i;

	// 初期化
	memset(pipCCnt, 0, sizeof(int) * D_CNT_MAX);

	// セット
	for (i = 0; i < D_NUM_KIND; i++) {
		pipCCnt[pipNCnt[i]]++;
	}

	return 0;
}

// 判定２
int
fJudge2(
	int *pipNCnt				// <I> 数字数
	, int piNCnt				// <I> 数字数合計
)
{
	int i, j, liRet;

	if (piNCnt > 2) {

		// 個数数 - 取得
		int li1CCnt[D_CNT_MAX];
		fGetCCnt(pipNCnt, li1CCnt);
		if (li1CCnt[1] == 0) {
			if (li1CCnt[2] < 2) {
				return 0;
			}
		}

		// 1,2個を削除
		for (i = 0; i < D_NUM_KIND; i++) {
			if (pipNCnt[i] > 2) {
				continue;
			}

			// 連番として削除できるかチェック
			for (j = 0; j < 3; j++) {
				int liNo1 = i - j;
				if (liNo1 < 0) {
					continue;
				}
				if (pipNCnt[liNo1] < 1) {
					continue;
				}

				int liNo3 = liNo1 + 2;
				if (liNo3 >= D_NUM_KIND) {
					continue;
				}
				if (pipNCnt[liNo3] < 1) {
					continue;
				}

				int liNo2 = liNo1 + 1;
				if (pipNCnt[liNo2] < 1) {
					continue;
				}

				// 連番として削除
				int li1NCnt[D_NUM_KIND];
				memcpy(li1NCnt, pipNCnt, sizeof(li1NCnt));
				li1NCnt[liNo1]--;
				li1NCnt[liNo2]--;
				li1NCnt[liNo3]--;

				// 下位へ
				liRet = fJudge2(li1NCnt, piNCnt - 3);
				if (liRet == 0) {
					return 0;
				}
			}
		}

		return -1;
	}
	else {
		for (i = 0; i < D_NUM_KIND; i++) {
			if (pipNCnt[i] == 1) {
				return -1;
			}
			if (pipNCnt[i] == 2) {
				return 0;
			}
		}
	}

	return 0;
}

// 判定
int
fJudge(
	int piNum					// <I> 数字 0～
)
{
	// 数字数
	int li1NCnt[D_NUM_KIND];
	memcpy(li1NCnt, si1NCnt, sizeof(li1NCnt));
	li1NCnt[piNum]++;
	if (li1NCnt[piNum] >= D_CNT_MAX) {
		return -1;
	}

	// All 2
	int li1CCnt[D_CNT_MAX];
	fGetCCnt(li1NCnt, li1CCnt);
	if (li1CCnt[1] == 0) {
		if (li1CCnt[3] == 0) {
			if (li1CCnt[4] == 0) {
				return 0;
			}
		}
	}

	// 判定２
	return fJudge2(li1NCnt, D_NUM_CNT + 1);
}

// 実行メイン
int
fMain(
)
{
	int i, liRet;
	char lc1Buf[1024];

	// 数字数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	for (i = 0; i < D_NUM_CNT; i++) {
		si1NCnt[lc1Buf[i] - '1']++;
	}

	// 判定
	for (i = 0; i < D_NUM_KIND; i++) {
		liRet = fJudge(i);
		if (liRet == 0) {
			sprintf(lc1Buf, "%d\n", i + 1);
			fOut(lc1Buf);
		}
	}

	return 0;
}

// １回実行
int
fOne(
)
{
	int liRet;
	char lc1Buf[1024];

	// データ - 初期化
	memset(si1NCnt, 0, sizeof(si1NCnt));						// 数字数

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	liRet = fMain();

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}