_:b417458417 . _:b417458417 "0"^^ .