_:b417707142 . _:b417707142 "0"^^ .