sjunde Juli och konungen den altonde eller dagen derpå.