rem: var nodes = info_list.childNodes; for (var i=0; i<nodes.length; i++) { info_list.removeChild(nodes[i]) } 
add: while (info_list.firstChild) info_list.removeChild(info_list.firstChild); 
context: function ClearInfoList(){  var info_list = document.getElementById("info_list");  var nodes = info_list.childNodes;  for (var i=0; i<nodes.length; i++) {    info_list.removeChild(nodes[i])  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/65c061212d2e3f9108776361db9b5d7f1f82b6b4/device_manager.js/clean/security/manager/pki/resources/content/device_manager.js