HASH(0x7fedcc5c1818)