_:b424073112 . _:b424073112 "0"^^ .