_:b425697893 . _:b425697893 "0"^^ .