HASH(0x7fede26e47f8)