#include<stdio.h>


int main() {

	int k;
	int i = 0;
	char s[256];
	scanf("%d\n", &k);
	fgets(s, 256, stdin);
	
	while (s[i] != '\0' ) {
		  printf("%c", *(s+i));
		  i++;
		  if (k == i)
		  {
			  printf("...");
			  break;
		  }

	}



	return 0;
}