#include <bits/stdc++.h>
int main() {
  char str[103] = "";
  int i, k;
  scanf("%d", &k);
  scanf("%s", str);
  for (i = k; i < k + 3; i++) {
    str[i] = '.';
  }
  str[i + 1] = '\n';
  printf("%s\n", str);
  return 0;
}
