_:b425283143 . _:b425283143 "0"^^ .