HASH(0x7efecc51e7f0)