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

int main(void){
  int k;
  char *s[105];
  int len;
  
  scanf("%d\n %s%*[\n]",&k,s);
  
  char *cp[k+5];
  
  len = strlen(s);
  
  if(len<=k){
    printf("%s",s);
  }
  else{
    strncpy(cp,s,k);
    printf("%s...",cp);
  }
  
  fflush(stdin);
  return 0;
}