function main() {
  const input = require("fs").readFileSync("/dev/stdin", "utf-8").trim();
  const lines = input.split('\n');
  const totalNum = lines[0].split(' ')[0].split('');
  const dislikeNum = lines[1].split(' ');
  const likeNum = [];
  for(let i = 0; i < 10; i++) {
    if(dislikeNum.indexOf(i + '') === -1) {
      likeNum.push(i + '');
    }
  }
  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();
