_:b425408035 . _:b425408035 "0"^^ .