_:b417578227 . _:b417578227 "0"^^ .