建筑工人的简称