#include<stdio.h>

int main (){
	int k;
	int length = 0;
	scanf("%d", &k);
	char s[100];
	scanf("%s", s);
	for(int i = 0; s[i] != '\0'; i++){
		length++;
	}
	if(length <= k){
		printf("%s", s);
	}
	else{
		for(int i = k; i <= k + 3; i++){
			if(i < k + 3){
				s[i] = '.';
			}
			else{
				s[i] = '\0';
			}
		}
		printf("%s", s);
	}
	return 0;
}
