HASH(0x7fedc40e6020)