HASH(0x7fedc40d13b8)