HASH(0x7fedcc0306b8)