HASH(0x7efecc4ad410)