HASH(0x7fede265c3c8)