_:b415391173 . _:b415391173 "0"^^ .