_:b417177335 . _:b417177335 "0"^^ .