_:b425157890 . _:b425157890 "0"^^ .