HASH(0x7fedc25dec78)