function ins(name){
var input=document.REPLIER.Post;
input.value=input.value+"[b]"+name+"[/b]"+" \n";
}

function Insert(text){ 
if (text!="") paste("[quote]"+text+"[/quote]\n", 0);
}

function paste(text, flag){ 
if ((document.selection)&&(flag)) {
document.REPLIER.Post.focus();
document.REPLIER.document.selection.createRange().text = text;
} else document.REPLIER.Post.value += text;
}

function get_selection() {
 if (document.getSelection){
selection = document.getSelection();
 } else {
selection = document.selection.createRange().text;
}
while (selection.indexOf("  ") !=-1) {selection = selection.replace(/  /gi, "");} 
}