_:b417525316 . _:b417525316 "0"^^ .