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