_:b424207673 . _:b424207673 "0"^^ .