HASH(0x7fedcc5e4ac0)