_:b425283142 . _:b425283142 "0"^^ .