context: function stringTrim (s){    if (!s)        return "";    s = s.replace (/^\s+/, "");    return s.replace (/\s+$/, "");    }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/4cd3ec76af2e3a9922c2d114bf4267b40b388ac2/utils.js/clean/extensions/irc/js/lib/utils.js