_:b417174133 . _:b417174133 "0"^^ .