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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/4cd3ec76af2e3a9922c2d114bf4267b40b388ac2/command-manager.js/buggy/extensions/irc/js/lib/command-manager.js