// JScript File
function add(num) {
    document.getElementById(preid + "message").value += ("[«" + num + "»]");
}