HASH(0x7efecc4cd750)