#include <stdio.h>

int main(int argc, char** argv)
{
	char s[105];
	int k, n = -1;
	scanf("%d%s", &k, s);
	while(true)
	{
		if(++n >= k)
		{
			puts("...");
			return 0;
		}
		if(s[n] == '\0') return 0;
		putchar(s[n]);
	}
	return 0;
}