#include <stdio.h>

#include <string.h>

int main()
{
	int N;
	scanf("%d",&N);
	char s[101];
	scanf("%s",&s);
	getchar();
	int length=strlen(s);
	s[N]='\0';
	if(N>=length){
		printf("%s\n",s);
	}else{
		printf("%s...\n",s);
	}
}