#include<stdio.h>

int main(){
int k,i,j=0;
char str[100];
  
scanf("%d",&k);
scanf("%s",str);

for(i=0;str[i]!='\0';i++){
  j++;
}
  
if(k<j){
  for(i=0;i<3;i++){
  str[k+i]='.';
    
  }
  for(i=0;i<k+3;i++){
  printf("%c",str[i]);
  }
}else{
  printf("%s",str);
}
 
  
}