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(dislikeNum.indexOf(i + '') === -1) {
      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 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();
