rem: function getCheckboxCheck(aID) { var checkboxNode = document.getElementById(aID); 
add: function getCheckboxCheck(element_id) { var checkboxNode = document.getElementById(element_id); 
context: function getCheckboxCheck(aID) {	var checkboxNode = document.getElementById(aID);	return checkboxNode.getAttribute("checked") == "true";}
meta: 359	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/359/6d1c1f503a1119549b53717f6f318439e0c2c880/sage.js/clean/src/sage/content/sage.js