function Main(input) {
  const data = input.trim().split(" ")
  let result = data.findIndex((d, i) => d != i + 1) + 1
  console.log(result ? result : 10)
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"))