har konungen gifvit 4,000 samt ur statskassan 5,000 kr.