#include<stdio.h>

int main(){
	int i, len = 0;
	int k;
	char s[128];
	
	scanf("%d%s", &k, s);
	
	for(i = 0;i < k;i++){
		putchar(s[i]);
	}
	
	while(s[len]){
		len++;
	}
	
	if(k < len){
		puts("...");
	}
	
	return 0;
}