_:b425283613 . _:b425283613 "0"^^ .