HASH(0x7fee14594dc0)