#include <stdio.h>

int main(){
	char S[101];
	int K,count;
	scanf("%s",&S);
	scanf("%d",&K);
	
	for(count = 0;S[count] |= '\0';count++) {}
	
	if(count < K){
		printf("%s",S);
	}else{
		for(int i = 0;i<K;i++){
			printf("%c",S[i]);
		}
		printf("...\n");
	}
	return 0;
}