Change S_3 -> Z/3Z