=|S1|=