rem:  var element = document.getElementById("checkbox" ); param.SetInt( 1, element.checked ); 
add: param.SetInt( 1, 1 - param.GetInt( 1 ) ); 
context: function onCheckboxClick(){		var element = document.getElementById("checkbox" );	param.SetInt( 1, element.checked );//	dump("setting checkbox to "+ element.checked+"\n");}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/08b1c1e5ba8861dbd57e49ae03521c521316085b/commonDialog.js/buggy/xpfe/global/resources/content/commonDialog.js