一泉坞

即“一全坞”。