static public void addDoubleCharToken(string a)
 {
     Toker.setSpecialDoubleChars(a);
 }