function trim(s) {
  //while(''+s.charAt(0)==' ')s=s.substring(1,s.length);
  //while(''+s.charAt(s.length-1)==' ')s=s.substring(0,s.length-1);
  return s.replace(/^\s+|\s+$/g,"");
}