public static void main ( String [ ] args ) {
  Scanner scan = new Scanner ( new BufferedInputStream ( System . in ) ) ;
  String N = scan . next ( ) ;
  int K = scan . nextInt ( ) ;
  HashSet < Integer > dis = new HashSet < > ( ) ;
  for ( int i = 0 ;
  i < K ;
  i ++ ) dis . add ( scan . nextInt ( ) ) ;
  int low = 0 ;
  while ( dis . contains ( low ) ) low ++ ;
  int [ ] num = new int [ N . length ( ) ] ;
  for ( int i = 0 ;
  i < num . length ;
  i ++ ) num [ i ] = N . charAt ( i ) - '0' ;
  String res = dfs ( dis , 0 , num , low ) ;
  if ( res != null ) {
    System . out . println ( res ) ;
    return ;
  }
  int first = low ;
  if ( first == 0 ) {
    first ++ ;
    while ( dis . contains ( first ) ) first ++ ;
  }
  System . out . print ( first ) ;
  for ( int i = 0 ;
  i < num . length ;
  i ++ ) System . out . print ( low ) ;
  System . out . println ( ) ;
}

public static void main ( String [ ] args ) { Scanner scan = new Scanner ( new BufferedInputStream ( System . in ) ) ; String N = scan . next ( ) ; int K = scan . nextInt ( ) ; HashSet < Integer > dis = new HashSet < > ( ) ; for ( int i = 0 ; i < K ; i ++ ) dis . add ( scan . nextInt ( ) ) ; int low = 0 ; while ( dis . contains ( low ) ) low ++ ; int [ ] num = new int [ N . length ( ) ] ; for ( int i = 0 ; i < num . length ; i ++ ) num [ i ] = N . charAt ( i ) - '0' ; String res = dfs ( dis , 0 , num , low ) ; if ( res != null ) { System . out . println ( res ) ; return ; } int first = low ; if ( first == 0 ) { first ++ ; while ( dis . contains ( first ) ) first ++ ; } System . out . print ( first ) ; for ( int i = 0 ; i < num . length ; i ++ ) System . out . print ( low ) ; System . out . println ( ) ; }
(method_declaration (modifiers) type: (void_type) name: (identifier) parameters: (formal_parameters (formal_parameter type: (array_type element: (type_identifier) dimensions: (dimensions)) name: (identifier))) body: (block (local_variable_declaration type: (type_identifier) declarator: (variable_declarator name: (identifier) value: (object_creation_expression type: (type_identifier) arguments: (argument_list (object_creation_expression type: (type_identifier) arguments: (argument_list (field_access object: (identifier) field: (identifier)))))))) (local_variable_declaration type: (type_identifier) declarator: (variable_declarator name: (identifier) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))) (local_variable_declaration type: (generic_type (type_identifier) (type_arguments (type_identifier))) declarator: (variable_declarator name: (identifier) value: (object_creation_expression type: (generic_type (type_identifier) (type_arguments)) arguments: (argument_list)))) (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) condition: (binary_expression left: (identifier) right: (identifier)) update: (update_expression (identifier)) body: (expression_statement (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) (while_statement condition: (parenthesized_expression (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier)))) body: (expression_statement (update_expression (identifier)))) (local_variable_declaration type: (array_type element: (integral_type) dimensions: (dimensions)) declarator: (variable_declarator name: (identifier) value: (array_creation_expression type: (integral_type) dimensions: (dimensions_expr (method_invocation object: (identifier) name: (identifier) arguments: (argument_list)))))) (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) condition: (binary_expression left: (identifier) right: (field_access object: (identifier) field: (identifier))) update: (update_expression (identifier)) body: (expression_statement (assignment_expression left: (array_access array: (identifier) index: (identifier)) right: (binary_expression left: (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier))) right: (character_literal))))) (local_variable_declaration type: (type_identifier) declarator: (variable_declarator name: (identifier) value: (method_invocation name: (identifier) arguments: (argument_list (identifier) (decimal_integer_literal) (identifier) (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (null_literal))) consequence: (block (expression_statement (method_invocation object: (field_access object: (identifier) field: (identifier)) name: (identifier) arguments: (argument_list (identifier)))) (return_statement))) (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (decimal_integer_literal))) consequence: (block (expression_statement (update_expression (identifier))) (while_statement condition: (parenthesized_expression (method_invocation object: (identifier) name: (identifier) arguments: (argument_list (identifier)))) body: (expression_statement (update_expression (identifier)))))) (expression_statement (method_invocation object: (field_access object: (identifier) field: (identifier)) name: (identifier) arguments: (argument_list (identifier)))) (for_statement init: (local_variable_declaration type: (integral_type) declarator: (variable_declarator name: (identifier) value: (decimal_integer_literal))) condition: (binary_expression left: (identifier) right: (field_access object: (identifier) field: (identifier))) update: (update_expression (identifier)) body: (expression_statement (method_invocation object: (field_access object: (identifier) field: (identifier)) name: (identifier) arguments: (argument_list (identifier))))) (expression_statement (method_invocation object: (field_access object: (identifier) field: (identifier)) name: (identifier) arguments: (argument_list)))))