HASH(0x7efecc4dd8c0)