HASH(0x7efecc516b08)