_:b415713239 . _:b415713239 "0"^^ .