HASH(0x7efecc50b118)