function trim(s) {
  return s.replace(/^\s+|\s+$/, '');
}