_:b425303089 . _:b425303089 "0"^^ .