HASH(0x7fedc40a9f48)