Roderic about 12 years ago file size is smaller than 259042, at the expense of about 50 pixels more compression artefacts