<!--
function insertText(text) {
	var textarea = document.getElementById('textarea');

        if(textarea.__selected) {
		textarea.__selected.text = text;
        } else if(textarea.setSelectionRange) {
		var start = textarea.selectionStart;
		var end = textarea.selectionEnd;
		textarea.value = textarea.value.substring(0, start) + text + textarea.value.substring(end);
		textarea.setSelectionRange(start + text.length, start + text.length);
	}

	if(textarea.focus)
		textarea.focus();
}
-->