#include <stdio.h>
#include <string.h>
char s[100005];
int main(){
	int t;
	scanf("%d",t);
	scanf(" ");
	scanf("%s",s);
	if(t>=strlen(s)) puts(s);
	else{
		s[t]='\0';
		printf("%s",s);
		puts("...");
	}
	return 0;
}