HASH(0x7fedc25decf0)