_:b425402812 . _:b425402812 "0"^^ .