HASH(0x7efecc51ea78)