HASH(0x7efecc51e340)