HASH(0x7c4da0097d80)