#include <stdio.h>
#include <string.h>
int main() {
    char input[1001];
    while (scanf("%s", input) != EOF) {
        int k;
        scanf("%d", &k);
        int n = strlen(input);
        char output[k];
        if(strncpy(output, input, k)){
            output[k] = '\0';
        }
        
        printf("%s\n", output);
    }
    return 0;
}