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

