function richtext(text1) {  
	var text = document.selection.createRange().text; 
	document.edit.description.focus(); 
	document.edit.document.selection.createRange().text = text1+text; 
	document.edit.description.focus();
}