工匠常用的镐子。