_:b417116435 . _:b417116435 "0"^^ .