HASH(0x7fedc25e7030)