#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int isLarger(int* a, int* b, int k) {
    for (int i = 0; i < k; i++) {
        if (a[i] > b[i]) return 1;
        if (a[i] < b[i]) return 0;
    }
    return 0;
}

void solution(int* nums, int n, int k, int* result) {
    for (int i = 0; i < k; i++) {
        result[i] = nums[i];
    }
    
    for (int i = 1; i <= n - k; i++) {
        if (isLarger(&nums[i], result, k)) {
            for (int j = 0; j < k; j++) {
                result[j] = nums[i + j];
            }
        }
    }
}

int main() {
    char line[10000];
    fgets(line, sizeof(line), stdin);
    
    int nums[1000], n = 0;
    char* token = strtok(line + 1, ",]");
    while (token != NULL) {
        nums[n++] = atoi(token);
        token = strtok(NULL, ",]");
    }
    
    int k;
    scanf("%d", &k);
    
    int* result = (int*)malloc(k * sizeof(int));
    solution(nums, n, k, result);
    
    printf("[");
    for (int i = 0; i < k; i++) {
        printf("%d", result[i]);
        if (i < k - 1) printf(",");
    }
    printf("]\n");
    
    free(result);
    return 0;
}