#include<stdio.h>

int main(void){
 	int N;
  	char line[101];
  
  	scanf("%d\n",&N);
  	fgets(line,sizeof(line),stdin);
  
  	if(N < strlen(line)){
     	for(int i = 0;i < N;i ++){
         	printf("%c",line[i]); 
        }
      	printf("...\n");
    }else{
     		printf("%s",line); 
    }
  
  return 0;
}
