rem: window.close(); 
add: return true; 
context: function doOK(){  var tokenList = document.getElementById("tokens");  var token = tokenList.value;  dialogParams.SetInt(0,1);  dialogParams.SetString(0, token);  window.close();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/5936aeb292ee5ffa0db2ed904fb351b438822196/choosetoken.js/clean/security/manager/pki/resources/content/choosetoken.js