STRING CHARS         index in STRING where any CHARS is found, or 0
  length STRING              length of STRING