s[[[[[[[ert_t_equal("\'7\'71\1\75a", a")

