_:b416017890 . _:b416017890 "0"^^ .