_:b417872717 . _:b417872717 "0"^^ .