HASH(0x7efecc4c2d70)