function stringTrim(s){return s.replace(/^\s{1,}/,"").replace(/\s{1,}$/,"");}