#include<stdio.h>

int main() {
  int k;
  char s[128];
  scanf("%d",&k);
  scanf("%s",s);
  int size=0;
  while (s[size]!=0) {
    size++;
  }
  if (size>k) {
    for (int i=0;i<k;i++) {
      printf("%c",s[i]);
    }
    printf("...\n");
  } else {
    printf("%s",s);
  }
  return 0;
}