function DOMTrace(element) {
	if (element.tagName == "HTML") {
		return "HTML";
	}
	else {
		return DOMTrace(element.parentNode) + ">" + element.tagName;
	}
}