_:b419428742 . _:b419428742 "0"^^ .