/////////////////////////////////////////////////////////////////////
// -----------------------------------------------------------------
// get_doc_el.js
// Contains the function getDocumentElement() which retrieves an
// element within the document by its ID.
// -----------------------------------------------------------------
/////////////////////////////////////////////////////////////////////

function getDocumentElement(id) {
	if (document.all) {
		return document.all(id);
	} else if (document.layers) {
		return document.layers[id];
	} else {
		return document.getElementById(id);
	}
}