//---------------------------------------------------------------
//	Get/set text based on an HTML element ID.
//
//	These functions assume simple elements with a single
//	childnode containing plain text -- no extra HTML like <B>
//	that results in extra childnodes. 
//---------------------------------------------------------------

//---------------------------------------------------------------
//	set_plain_text() assumes a text container such as a DIV, which
//	can be assigned a DOM ID.  The text is assumed to be the
//	first child of that container.
//---------------------------------------------------------------

function set_plain_text(id, text) 
{
	elem = document.getElementById(id);

	if (elem) 
		elem.firstChild.nodeValue = text;
	else
		alert("DOM ID not found: " + id);

	return(true);
}

function get_plain_text(id) 
{
	elem = document.getElementById(id);
	text = elem.childnodes[0].nodeValue;

	return(text);
}