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

int main(){
  int k,str=0;
  char s[101];
  scanf("%d %s",&k,s);
  for(int i=0;s[i]!='\0';i++){
    str++;
  }
  if(str<=k){
    printf("%s",s);
  }else{
    for(int i=k;i<=k+3;i++){
      if(i<k+3){
        s[i]='.';
      }else{
        s[i]='\0';
      }
    }
    printf("%s",s);
  }

return 0;
}
