HASH(0x7fedee56bfb8)