HASH(0x7efecc51e868)