HASH(0x7fede667e920)