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