_:vb56367 . _:vb56367 . _:vb56367 "0"^^ .