#include <stdio.h>
#include <stdlib.h>

int main(int argc, char *argv[]) {
	char line[128];
	fgets(line, 128, stdin);
	int num = atoi(line);
	fgets(line, 128, stdin);
	char *p = line;
	for (int i = 0; i < num; i++) {
		putchar(*p++);
	}
	if (*p) {
		printf("...\n");
	} else {
		printf("\n");
	}

    return EXIT_SUCCESS;
}

