/**
 * Removes leading and tailing whitespace(spaces, tabs, ...) 
 * from given string
 */
function trim (inputstring) {
  // first remove leading then tailing whitespaces 
  // before removing the trimmed string
  return inputstring.replace (/^\s+/, '').replace (/\s+$/, '');
}