_:b417925517 . _:b417925517 "0"^^ .