import sys def main(): text = sys.stdin.readline() param = text.split(" ") param.append("") for index in range(9): param[index] = int(param[index]) i = 1 while i == param[i-1]: i += 1 print(i) if __name__ == "__main__": main()