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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c952c55479b15268ac6fe999dac8725bdb23a449/commonDialog.js/clean/xpfe/global/resources/content/commonDialog.js