_:b417176739 . _:b417176739 "0"^^ .