HASH(0x7fedc25e5f68)