HASH(0x7fedc25e73f8)