_:b417578842 . _:b417578842 "0"^^ .