_:b425574411 . _:b425574411 "0"^^ .