modified:   def t_STRINGT(self,t):