HASH(0x7fedda5e6b40)