uppgick till något öfver 7,000 kr. ).