_:b425579517 . _:b425579517 "0"^^ .