HASH(0x7efecc51e2b0)