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

int main()
{
  char ch[100];
  int K;
  scanf("%c",ch);
  scanf("%d",&K);
  int len=strlen(ch);
  if(len<=K)
    printf("%c",ch);
  else if(len>K)
  {
    for(int i=0;i<K;i++)
    {
      printf("%c",ch[i]);
    }
    printf("...");
  } 
  return 0;
} 