HASH(0x7fedda5f9370)