HASH(0x7fedd65c2d10)