HASH(0x7fedd65de0c8)