HASH(0x7fedc25cd150)