HASH(0x7fedd65e26b0)