Current name Information from the Getty AAT Historical names Historical name Record hammer, hammers Book VI. hammer, hammers Book VIII