HASH(0x7f5cf425de38)