_:b417578539 . _:b417578539 "0"^^ .