Fecho en San Ildefonso a primero de octubre de mil setecientos setenta y siete.