_:b415403742 . _:b415403742 "0"^^ .