rem: write(str + "\r\n"); 
add: if(str) write(str + "\r\n"); else write("\r\n"); 
context: 	function writeln(str)	{		write(str + "\r\n");	}
meta: 4284	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4284/e18561630f92d081d2ba4bb69c632bbe641688f8/nodelist-html.js/buggy/nodelist-html.js