this.keys = function(map){    var keys = [];    try    {        for (var name in map)            keys.push(name);    }    catch (exc)    {        // Sometimes we get exceptions trying to iterate properties    }        return keys;};
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/lib.js/clean/extension/content/firebug/lib.js