function main(input) {
  const inputData = input.replace(/\s*$/g, '').split('\n');
  const k = parseInt(inputData[0]);
  let s = inputData[1];

  if (s.length > k) {
    s = s.slice(0, k) + '...';
  }

  console.log(s);
}

main(require('fs').readFileSync('/dev/stdin', 'utf8'));