HASH(0x7fedc25f6428)