The hammer he swung must have weighed fifteen stones.
He swung the hammer, despite the fact it weighed about 15 stones.