laolxpy set1: p17