rem: var ta = document.getElementById(id); 
add: var ta = HTMLArea.getElementById("textarea", id); 
context: HTMLArea.replace = function(id, config) {	var ta = document.getElementById(id);	return ta ? (new HTMLArea(ta, config)).generate() : null;};
meta: 6230	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6230/e9ff05661c4fa38c1e8ce4b72bf5b0a3bb5e0842/htmlarea.js/buggy/phpgwapi/js/htmlarea/htmlarea.js