HASH(0x7d3ead2efc48)