return makeNode( this._dom.createTextNode(text) ); 
return makeNode( this._dom.createTextNode( text.replace(/&/g, "&amp;").replace(/</g, "&lt;").replace(/>/g, "&gt;")) ); 
		createTextNode: function(text){			return makeNode( this._dom.createTextNode(text) );		},
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/b147039acc32884b50b955ebd94eeaa430713786/env.js/buggy/build/runtest/env.js