HASH(0x7f5cfec13fe8)