_:b417392997 . _:b417392997 "0"^^ .