string,	"]".
eof.
