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: 9592	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9592/d483d2053225d0c8f08b44c0123a454246e93fae/nodelist-html.js/buggy/nodelist-html.js