HASH(0x7efecc4c7540)