function TextEditBox_getValue(id) {
	var textEditBox = document.getElementById(id);
	if (textEditBox != null) {
		return textEditBox.value;
	} else {
		return "";
	}
}

function TextEditBox_setValue(id, value) {
	var textEditBox = document.getElementById(id);
	if (textEditBox != null) {
		textEditBox.value = value;
	}
}