HASH(0x7efecc51f8b0)