horsdagen , den 13 September 1738.