HASH(0x7fede0819ea0)