HASH(0x7fbf4c5419f0)