_:b417178257 . _:b417178257 "0"^^ .