HASH(0x7efecc514b68)