HASH(0x7fedddadf078)