（杂名）坟墓之异名。