#include <stdio.h>
#include <malloc.h>
char str[60000];
int str_len = 0;

/// <summary>
/// グローバル変数strの中身を入力された文字列で上書きする
/// </summary>
void ReadString() {
	char c = getchar();
	str_len = 0;

	while (c != '\n') {
		str[str_len] = c;
		c = getchar();
		str_len++;
	}
}

/// <summary>
/// 引数numsの中の値を昇順にソートする
/// </summary>
/// <param name="nums">ソートしたい配列</param>
/// <param name="n">ソートしたい配列の要素数</param>
void Sort(int* nums, int n) {
	for (int i = 0;i < n - 1;i++) {
		for (int j = i + 1;j < n;j++) {
			if (nums[i] > nums[j]) {
				int work = nums[i];
				nums[i] = nums[j];
				nums[j] = work;
			}
		}
	}
}


/// <summary>
/// 引数*numsのポインタ位置にある配列の中身をstrのスペースで区切られた数字にする
/// 渡されたポインタ位置が、strのスペースの数+1個分　静的にメモリが確保された配列である必要がある
/// </summary>
/// <param name="nums"></param>
/// <returns></returns>
int GetNums(int* nums, int size) {
	for (int i = 0;i < size;i++) {
		nums[i] = 0;
	}
	int cnt = 0;
	int numIndex = 0;
	int negate = 0;
	for (int i = 0;i <= str_len;i++) {
		if (str[i] == ' ' || i == str_len) {
			if (negate == 1) {
				nums[numIndex] *= -1;
			}
			negate = 0;
			numIndex++;
			cnt++;
			continue;
		}
		if (str[i] == '-') {
			negate = 1;
			continue;
		}
		nums[numIndex] = nums[numIndex] * 10 + (str[i] - '0');
	}
	return cnt;
}


int main()
{
	ReadString();
	int* nums;
	nums = (int*)malloc(sizeof(int) * str_len);
	int nums_len = GetNums(nums,str_len);
	for (int i = 0;i < nums_len;i++) {
		if (nums[i] != i+1) {
			printf("%d\n",i+1);
			break;
		}
		if (i == nums_len-1) {
			printf("%d\n", i + 2);
		}
	}
	
}