HASH(0x7efecc4d2b20)