_:vb587329 . _:vb587329 . _:vb587329 . _:vb587329 "0"^^ .