— Ungefär åttatusen riksdaler.