_:b417178140 . _:b417178140 "0"^^ .