_:b425303083 . _:b425303083 "0"^^ .