_:vb922571 . _:vb922571 "0"^^ . _:vb922572 _:vb922571 . _:vb922571 .