_:b417178236 . _:b417178236 "0"^^ .