rem: if (!document.body) return null;  Debug = appendNewElement(document.body, 'div'); 
add: Debug = appendElement(document.body, 'div'); Debug.setAttribute('class', 'debug'); 
context: function getDebug() {	if (Debug == null) {		Debug = document.getElementById('debug');		if (Debug == null) {			if (!document.body) return null;			// its still too early!			Debug = appendNewElement(document.body, 'div');			Debug.setAttribute('id', 'debug');			Debug.className = 'debug';			Debug.innerhtml = '<p class="debug">Debug</p>';			};		};	return Debug;	}
meta: 7747	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7747/0eaf74c0f46f9bc280b1a8bc65efc07285394cc0/debug.js/clean/client/digitallibrary/greyskin/debug.js