overloaded string operator in StringToken