HASH(0x7efecc51b460)