//Edit Mir Huang
String.prototype.Trim2 = function() { return this.replace(/(^({###})*)|(({###})*$)/g, "")}
function Insert_content(value){
	var s=document.getElementById("txtcontent").value;
	var s3=s.replace(/\r\n/g,"{###}")
	var s2;
	var re = eval("/"+value+"{###}/g");
	if(s.indexOf(value)==-1)
		s3+=value+"{###}";
	else{
		s3=s3.replace(re,"");
	}
	var s4=s3.replace(/{###}{###}/g,"{###}")
	//s4=s4.Trim2()
	var s5=s4.replace(/{###}/g,"\n")
	document.getElementById("txtcontent").value=s5	
}