#include<stdio.h>
int main (void){
  char s[100];
  int k,i,n;
  scanf("%s",s);
  n=0;
  while(s[n]!='\0'){n++;}  
  if(i<k){
    for(i=0;i<n;i++){
      printf("%c",s[i]);
    }
    printf("\n");
  }
  else{
    for(i=0;i<k;i++){
      printf("%c",s[i]);
    }
    printf("...\n");
  }
  return 0;
}