HASH(0x7fedc25ba760)