半群 loading ...