HASH(0x7fedda5e2b30)