_:b420720080 . _:b420720080 "0"^^ .