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