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

