är taxerad , om jag minnes rätt , till 8,000 kr.