HASH(0x7fedc25a09a0)