_:b417175738 . _:b417175738 "0"^^ .