halshugges " 9,000 francs.