pipi: 全型冒號不一樣啊 XD