/*
7
nikoandsolstice
*/

function main(input){
  input = input.trim();
  var ten = "..."
  var jisuu = input.split("\n")[0];
  var moji = input.split("\n")[0];
  if(moji.length>jisuu){
    console.log(moji.substr(0,jisuu)+ten);
  }else{
    console.log(moji);
  }
}
main(require("fs").readFileSync("/dev/stdin","utf8"));