_:b415117792 . _:b415117792 "0"^^ .