_:b424302789 "0"^^ . _:b424302789 .