_:b417142793 . _:b417142793 "0"^^ .