// // Javascript trim function, remove spaces right/left // function trim(text) { text=text.replace(/^\s+|\st+$/g,''); return text; }