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