HASH(0x7efecc51add8)