var whitespace = " \t\n\r";

function isEmpty(s)
{   
  return ((s == null) || (s.length == 0))
}

function isWhitespace (s)
{   
  s = stripWhitespace(s);
  if (isEmpty(s)) return true;

  for (var i = 0; i < s.length; i++)
  {   
    var c = s.charAt(i);
    if (whitespace.indexOf(c) == -1) 
      return false;
  }

  return true;
}

function stripWhitespace (s)
{   
  var returnString = "";

  for (var i = 0; i < s.length; i++)
  {   
    var c = s.charAt(i);
    if (whitespace.indexOf(c) == -1) returnString += c;
  }

  return returnString;

}