817def