rem: printf("cmd: %s",str); 
add: printf("cmd: %s\r\n",str); 
context: function writeln(str){	if(debug)		printf("cmd: %s",str);	write(str + "\r\n");}
meta: 4284	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4284/a31d60a81cfd64393495f7051fe36bcd4af88685/newslink.js/buggy/newslink.js