HASH(0x7fedd8d7ebc8)