stadshus och 7,000 kr.