HASH(0x7efecc4d2700)