HASH(0x7fedc667e1c0)