HASH(0x7fedc25ebd40)