HASH(0x7efecc50c7d8)