_:b425439087 . _:b425439087 "0"^^ .