_:b417707080 . _:b417707080 "0"^^ .