_:b417314217 . _:b417314217 "0"^^ .