_:b417717812 . _:b417717812 "0"^^ .