context: function cmgr_instkeys (document, commands){    var parentElem = document.getElementById("dynamic-keys");    if (!parentElem)    {        parentElem = document.createElement("keyset");        parentElem.setAttribute ("id", "dynamic-keys");        document.firstChild.appendChild (parentElem);    }    if (!commands)        commands = this.commands;        for (var c in commands)        this.installKey (parentElem, commands[c]);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/d84f82bf3e11bd09e70e1036662b0018f8834acc/command-manager.js/clean/extensions/irc/js/lib/command-manager.js