_:b425242854 . _:b425242854 "0"^^ .