_:b415058378 . _:b415058378 "0"^^ .