#include<stdio.h>
#include<string.h>
int main(void) {
    int n,leng,i=0;
    char s[101];
    scanf("%d\n", &n);
    gets(s);
    leng = strlen(s);
    if (leng<= n) {
        while (s[i] != '\0') {
            printf("%c", s[i]);
            i++;
        }
    }
    else {
        for (i = 0; i < n; i++) {
            printf("%c",s[i]);
        }
        printf("...");
    }
    return 0;
}