_:b424381580 . _:b424381580 "0"^^ .