rem:  this.checked = ! this.checked; } 
add:  this.checked = ! this.checked; } 
context: 		    checkbox.onclick = function() {		        // opera does not recognize return false;		        this.checked = ! this.checked;		    }
meta: 6623	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6623/a741946141c6fd38c6de85eb1056d29c8691e756/functions.js/buggy/js/functions.js