_:vb51206024 . _:vb51206024 . _:vb51206024 "0"^^ . _:vb51206024 .