// Steve, Nov 7th 2008
function trim(s1) { return s1.replace(/^\s+|\s+$/g,""); }
function isEmpty(s1) { return (s1 == null || trim(s1) == ""); }
// end of file