#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define READ_BUFSIZE ( 1000 )
#define READ_DELIMITER ( " " )


//標準入力取得（１行）

int GetStdin( char* pszStr, int lMaxLen )
{
	int lLen = 0;

    memset( pszStr, 0, lMaxLen );
    if( fgets( pszStr, lMaxLen, stdin ) )
    {
	    lLen = strlen( pszStr );
	    if( lLen >= 1 )
	    {
			if( pszStr[ lLen - 1 ] == 0x0A )
			{
				pszStr[ lLen - 1 ] = 0;
				lLen--;
			}
		}
	}
	
	return( lLen );
}


//標準入力を取得
//区切り文字で区切られている文字列を取り出す
//取り出した文字列のポインタをポインタ配列にセットする
int split(char *pszStr, int lStrMax, const char *pszDelim, int *palOutList) {
    char *pszToken;
    int count = 0;
    char *pszNext_token = 0;
	int lLen = 0;
	int lNum = 0;

    memset( pszStr, 0, lStrMax );
    lLen = GetStdin( pszStr, lStrMax );
    
	if( lLen > 0 )
	{

	    pszToken = strtok( pszStr, pszDelim );
		int lTemp = 0;

	    while ( pszToken != NULL ) 
	    {
            lTemp = atoi( pszToken );
            palOutList[lTemp-1] = 1;
			lNum++;
//	        pszToken = strtok_s(NULL, pszDelim, &pszNext_token);
		    pszToken = strtok( NULL, pszDelim );
			//palOutList++;
	    }
	}
    return lNum;
}



int main(int argc, char *argv[]) 
{
	char szRead[READ_BUFSIZE] = "";
	//char* psOutbuf[10000] = { 0 };
	int lInput[10] = {0};

	split( szRead, READ_BUFSIZE, READ_DELIMITER, lInput );


	for( int i = 0; i < 10; i++ )
	{
		if( !lInput[i] )
		{
			printf( "%d\n", i+1 );
			break;
		}
	}

	

	

	return 0;

}