HASH(0x7efed5256760)