HASH(0x7fedc25b24f8)