_:b415712795 . _:b415712795 "0"^^ .