}  
Object.sortedProperties = function(obj){    var properties = [];    for (var prop in obj) {        properties.push(prop);    }    properties.sort();    return properties;}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/cc88f9529656de4c98bb56849e3726c8f5e442e1/utilities.js/buggy/WebCore/page/inspector/utilities.js