#include <stdio.h>
int main(){
	int K,c,nc=0;
	scanf("%d",&K);
	char S[100];
	while((c = getchar()) != EOF){
		S[nc] = c;
		nc++;
	}
	S[nc] = '\0';
	
	if(nc>K){
		for(int i=0;i<K;i++){
			putchar(S[i]);
			printf("...");
		}
	}else{
		printf("%s",S);
	}
}