HASH(0x7fedd65c30a8)