pensionskassan till omkring 10,000 kr.