HASH(0x7fedda58f8d0)