function trimString( s )
{
  var iStart = 0;
  var iEnd = s.length - 1;
  while((s.charAt( iStart ) == ' ') && (iStart <= iEnd)) iStart++;
  while((s.charAt( iEnd ) == ' ') && (iStart < iEnd ))iEnd--;
  if(iStart > iEnd)
    return '';
  else
    return s.substring( iStart, iEnd + 1 );
} // trimString