_:b415828432 . _:b415828432 "0"^^ .