HASH(0x7fedc25e71d0)