_:b425156238 . _:b425156238 "0"^^ .