let input = require('fs').readFileSync('/dev/stdin', 'utf8').split('\n');
const k = parseInt(input[0],10);
const s = input[1];

if(s.length <= k){
    console.log(s);
}else{
    console.log(`${s.slice(0,k)}...`);
}