context: function trim(value) {   var temp = value;   var obj = /^(\s*)([\W\w]*)(\b\s*$)/;      if (obj.test(temp))    temp = temp.replace(obj, '$2');       var obj = / +/g;   temp = temp.replace(obj, " ");   if (temp == " ")    temp = "";       return temp;}
meta: 8196	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8196/95f0574e16d3e1e536e50959a55258aad81b8544/common.js/buggy/php4/branches/2.2.2/shared/js/common.js