_:b425283628 . _:b425283628 "0"^^ .