HASH(0x7fedc40d7e38)