//trim.js
function LTrim(s){var pat = /^\s+/;return(s.replace(pat,''));}
function RTrim(s){var pat = /\s+$/;return(s.replace(pat,''));}
function Trim(str){return(RTrim(LTrim(str)));}