rem: if( aNode.checked ) aNode.setAttribute( "checked", "1" ); else aNode.removeAttribute( "checked" ); saveEngines( document.getElementById("categoryList") ) 
add: saveEngines( document.getElementById("categoryList") ) 
context: function doCheck( aNode ){	if( aNode.checked )		aNode.setAttribute( "checked", "1" );	else		aNode.removeAttribute( "checked" );  saveEngines( document.getElementById("categoryList") )	return false;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/7bfd3719dc9d969efb74cd4fbaf3b0f83bc95387/search-panel.js/clean/suite/common/search/search-panel.js