const s: string = "欢迎来到 InsCode";
console.log(s);