HASH(0x7fedcc02dbc0)