HASH(0x7efecc519478)