HASH(0x7fedd65d24d0)