rem: msgid = document.getElementById('chk_' + id); 
add: msgid  = document.getElementById('chk_' + id); 
context: function select_line(id, update) {	if (document.getElementById) {		msgid = document.getElementById('chk_' + id);		lineid = document.getElementById('line'+ id);		if (!update) msgid.checked = !msgid.checked;		update_selection_indicators();	}}
meta: 412	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/412/b1d72c37f0436673fb6ad9218dd474b8bb3dc5ba/layout.js/buggy/include/layout.js