för det Cervinska lånet , omkring 9,000 kr.