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