_:b425303142 . _:b425303142 "0"^^ .