rem: var tokdb = Components.classes[nsPK11TokenDB].getService(nsIPK11TokenDB); 
context: function doLoadDevice(){  var tokdb = Components.classes[nsPK11TokenDB].getService(nsIPK11TokenDB);  var name_box = document.getElementById("device_name");  var device_name = name_box.getAttribute("value");  var path_box = document.getElementById("device_path");  var device_path = path_box.getAttribute("value");  // to be implemented by pkcs11 object  window.close();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a8d9dd1b3cf913ccadb921ed90611276f4ea82cf/device_manager.js/clean/security/manager/pki/resources/content/device_manager.js