#include <stdio.h>
 
int main(void) {

	int k, i, t;
	char s[101], n[101];
	
	scanf("%d %s", &k, s);
	
	for(i = 0; ; i++){
		if(s[i] == '\0')
			break;
	}
	
	if(i <= k)
		printf("%s", s);
	else{
		for(i = 0; i < k; i++){
			n[i] = s[i];
		}
		for(t = 0; t < 3; t++, i++)
			n[i] = '.';
		
		n[i] = '\0';
		printf("%s", n);
	}
	
		
	
	
	return 0;
}