#include <stdio.h>

#include <string.h>

char s[1005];

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;

}