HASH(0x7fedd65c73b8)