function main() {
  const input = require("fs").readFileSync("/dev/stdin", "utf-8").trim();
  const lines = input.split('\n');
  const totalNum = lines[0].split(' ')[0];
  const dislikeNum = lines[1].split(' ');
  const likeNum = [];
  for(let i = 0; i < 10; i++) {
    if(inArray(dislikeNum, i)) {
      likeNum.push(i + '');
    }
  }
  //let res = totalNum;
  //while(1) {
  //  let noMatch = false;
  //  for(let i = 0; i < res.length; i++) {
  //    if(dislikeNum.indexOf(res[i]) > -1) {
  //      res = parseInt(res) + 1;
  //      res = res + '';
  //      noMatch = true;
  //      break;
  //    }
  //  }
  //  if(!noMatch) {
  //    break;
  //  }
  //}
  //console.log(res);
  // const res = getResult(totalNum, likeNum);
  // if(res.flag) {
  //   console.log(likeNum[0] === '0' ? likeNum[1] + res.str : likeNum[0] + res.str);
  // } else {
  //   console.log(res.str);
  // }
}

function inArray(arr, data) {
  for( let i = 0; i < arr.length; i++ ) {
    if(arr[i] == data) {
      return true
    } else {
      return false
    }
  }
  return false;
}

// function getResult(sourceNum, likeNum) {
//   const item = sourceNum[0];
//   const resObj = sourceNum.length - 1 ? getResult(sourceNum.slice(1), likeNum) : {};
//   const resStr = resObj.str || '';
//   const flag = resObj.flag;
//   if(!flag) {
//     if(likeNum.indexOf(item) > -1) {
//       return {
//         str: item + resStr,
//         flag: false
//       };
//     } else {
//       const bigger = getBigger(likeNum, item);
//       if(bigger) {
//         let str = '';
//         for(let i = 0; i < resStr.length; i++) {
//           str += likeNum[0];
//         }
//         return {
//           str: bigger + str,
//           flag: false
//         };
//       } else {
//         let str = '';
//         for(let i = 0; i < resStr.length; i++) {
//           str += likeNum[0];
//         }
//         return {
//           str: likeNum[0] + str,
//           flag: true
//         };
//       }
//     }
//   } else {
//     const bigger = getBigger(likeNum, item);
//     if(bigger) {
//       let str = '';
//       for(let i = 0; i < resStr.length; i++) {
//         str += likeNum[0];
//       }
//       return {
//         str: bigger + str,
//         flag: false
//       };
//     } else {
//       let str = '';
//       for(let i = 0; i < resStr.length; i++) {
//         str += likeNum[0];
//       }
//       return {
//         str: likeNum[0] + str,
//         flag: true
//       };
//     }
//   }
// }

// function getBigger(arr, num) {
//   for(let i = 0; i < arr.length; i++) {
//     if(arr[i] > num) {
//       return arr[i] + ''
//     }
//   }
//   return null;
// }

main();
