HASH(0x7efecc51c8c8)