_:b425023043 . _:b425023043 "0"^^ .